Gentzen Calculi for Modal Propositional Logic

Gentzen Calculi for Modal Propositional Logic

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we pre...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Poggiolesi, Francesca (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands, 2011.
Σειρά:	Trends in Logic ; 32
Θέματα:	Philosophy. Computer graphics. Mathematics. Linguistics. Philosophy, general. Mathematics, general. Computer Imaging, Vision, Pattern Recognition and Graphics. Linguistics, general.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Arabic and Chinese Handwriting Recognition SACH 2006 Summit College Park, MD, USA, September 27-28, 2006 Selected Papers /
Έκδοση: (2008)

Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions COST Action 2102 International Conference Prague, Czech Republic, October 15-18, 2008 Revised Selected and Invited Papers /
Έκδοση: (2009)

Multimodal Corpora From Models of Natural Interaction to Systems and Applications /
Έκδοση: (2009)

Scientific Visualization: The Visual Extraction of Knowledge from Data
Έκδοση: (2006)

Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings /
Έκδοση: (2012)

Computer Vision Using Local Binary Patterns
ανά: Pietikäinen, Matti, κ.ά.
Έκδοση: (2011)

The Philosophy of Computer Games
Έκδοση: (2012)

Curves and Surfaces
ανά: Abate, Marco, κ.ά.
Έκδοση: (2012)

Curve e superfici
ανά: Abate, Marco, κ.ά.
Έκδοση: (2006)

Matrix Transforms for Computer Games and Animation
ανά: Vince, John
Έκδοση: (2012)

Bio-Imaging and Visualization for Patient-Customized Simulations
Έκδοση: (2014)

The Language of Mathematics A Linguistic and Philosophical Investigation /
ανά: Ganesalingam, Mohan
Έκδοση: (2013)

Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
ανά: Tveito, Aslak, κ.ά.
Έκδοση: (2016)

Computational Forensics Second International Workshop, IWCF 2008, Washington, DC, USA, August 7-8, 2008. Proceedings /
Έκδοση: (2008)

Consciousness Inside and Out: Phenomenology, Neuroscience, and the Nature of Experience
Έκδοση: (2014)

Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers /
Έκδοση: (2012)

Computational Modeling of Objects Presented in Images Fundamentals, Methods and Applications /
Έκδοση: (2014)

Perspectives on Pragmatics and Philosophy
Έκδοση: (2013)

Formal Grammar 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers /
Έκδοση: (2012)

Logic, Thought and Action
Έκδοση: (2005)

Handbook of Statistical Bioinformatics
Έκδοση: (2011)

Visual Analysis of Behaviour From Pixels to Semantics /
ανά: Gong, Shaogang, κ.ά.
Έκδοση: (2011)

Developments in Medical Image Processing and Computational Vision
Έκδοση: (2015)

Handbook of Argumentation Theory
ανά: van Eemeren, Frans H., κ.ά.
Έκδοση: (2014)

Statistical Methods for Spatial Planning and Monitoring
Έκδοση: (2013)

Introduzione ai metodi inversi Con applicazioni alla geofisica e al telerilevamento /
ανά: Guzzi, Rodolfo
Έκδοση: (2012)

Graph-Based Representations in Pattern Recognition 7th IAPR-TC-15 International Workshop, GbRPR 2009, Venice, Italy, May 26-28, 2009. Proceedings /
Έκδοση: (2009)

New Frontiers in Artificial Intelligence JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers /
Έκδοση: (2009)

New Developments in the Visualization and Processing of Tensor Fields
Έκδοση: (2012)

Scientific Visualization Uncertainty, Multifield, Biomedical, and Scalable Visualization /
Έκδοση: (2014)

3D Imaging for Safety and Security
Έκδοση: (2007)

Computer Vision/Computer Graphics CollaborationTechniques 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009. Proceedings /
Έκδοση: (2009)

Discrete Geometry for Computer Imagery 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings /
Έκδοση: (2011)

Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings /
Έκδοση: (2013)

Discrete Geometry for Computer Imagery 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings /
Έκδοση: (2009)

Imaging the Brain in Autism
Έκδοση: (2013)

Optimization and Security Challenges in Smart Power Grids
Έκδοση: (2013)

Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers /
Έκδοση: (2013)

Graph-Based Representations in Pattern Recognition 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings /
Έκδοση: (2013)

Graph-Based Representations in Pattern Recognition 8th IAPR-TC-15 International Workshop, GbRPR 2011, Münster, Germany, May 18-20, 2011. Proceedings /
Έκδοση: (2011)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_b51frmup7q028mksmu8uihp4a6