Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Dag Prawitz on Proofs and Meaning / / edited by Heinrich Wansing
| Dag Prawitz on Proofs and Meaning / / edited by Heinrich Wansing |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (469 p.) |
| Disciplina | 621.395 |
| Collana | Outstanding Contributions to Logic |
| Soggetto topico |
Logic
Mathematical logic Computer logic Mathematical Logic and Foundations Logics and Meanings of Programs |
| ISBN | 3-319-11041-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prawitz, proofs, and meaning; Wansing, Heinrich -- A short scientific autobiography; Prawitz, Dag -- Explaining deductive inference; Prawitz, Dag -- Necessity of Thought; Cozzo, Cesare -- On the Motives for Proof Theory; Detlefsen, Michael -- Inferential Semantics; Došen, Kosta -- Cut elimination, substitution and normalization; Dyckhoff, Roy -- Inversion principles and introduction rules; Milne, Peter -- Intuitionistic Existential Instantiation and Epsilon Symbol; Mints, Grigori -- Meaning in Use; Negri, Sara and von Plato, Jan -- Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?; Pagin, Peter -- On constructive fragments of Classical Logic; Pereira; Luiz Carlos and Haeusler, Edward Hermann -- General-Elimination Harmony and Higher-Level Rules; Read, Stephen -- Hypothesis-discharging rules in atomic bases; Sandqvist, Tor -- Harmony in proof-theoretic semantics: A reductive analysis; Schroeder-Heister, Peter -- First-order Logic without bound variables: Compositional Semantics; Tait, William W -- On Gentzen’s Structural Completeness Proof; Tennant, Neil -- A Notion of C-Justification for Empirical Statements; Usberti, Gabriele. |
| Record Nr. | UNINA-9910483708103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New Essays on Belnap-Dunn Logic / / edited by Hitoshi Omori, Heinrich Wansing
| New Essays on Belnap-Dunn Logic / / edited by Hitoshi Omori, Heinrich Wansing |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (322 pages) |
| Disciplina | 511.3 |
| Collana | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
| Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-030-31136-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An invitation to New Essays on Belnap-Dunn logic (Hitoshi Omori and Heinrich Wansing) -- Part I. Essays by the Founders. Natural Language versus Formal Language (J. Michael Dunn) -- Intuitive Semantics for First-Degree Entailment and ‘Coupled Trees’ (J. Michael Dunn) -- How a Computer Should Think (Nuel D. Belnap) -- A Useful Four-Valued Logic (Nuel D. Belnap) -- Two, Three, Four, Infinity: The Path to the Four-valued Logic and Beyond (J. Michael Dunn) -- Interview with Prof. Nuel D. Belnap (Nuel D. Belnap and Heinrich Wansing) -- Part II. New Essays. FDE as the One True Logic (Jc Beall) -- Default Rules in the Logic of First-Degree Entailments (Katalin Bimbó) -- Belnap and Nagarjuna on How Computers and Sentient Beings Should Think: Truth, Trust and the Catuskoti (Jay L. Garfield) -- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued LogicsWork for You (Allen P. Hazen and Francis Jeffry Pelletier) -- FDE as a Base for Constructive Logic (Andreas Kapsner) -- Bridging the Two Plans in the Semantics for Relevant Logic (Takuro Onishi) -- Bilattice Logics and Demi-Negation (Francesco Paoli) -- Consistency, Completeness, and Classicality (Adam Prenosil) -- Natural Deduction Systems for Logics in the FDE Family (Graham Priest) -- Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic (Igor Sedlár and Ondrej Majer) -- First-Degree Entailment and Structural Reasoning (Yaroslav Shramko). |
| Record Nr. | UNINA-9910370255803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nonclassical Logics and Information Processing [[electronic resource] ] : International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings / / edited by David Pearce, Heinrich Wansing
| Nonclassical Logics and Information Processing [[electronic resource] ] : International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings / / edited by David Pearce, Heinrich Wansing |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (IX, 175 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computers
Computer logic Mathematical logic Artificial intelligence Theory of Computation Logics and Meanings of Programs Mathematical Logic and Foundations Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-47280-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algebraic aspects of the relational knowledge representation: Modal relation algebras -- A logic for memory -- Actions with preconditions and postconditions -- Testclasses and closed world assumptions for non-horn theories -- Reasoning with negative information, II: Hard negation, strong negation and logic programs -- Lindenbaum-algebraic semantics of logic programs -- Conditional logics and cumulative logics -- Semantics of nonmonotonic reasoning in logic programming -- Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic -- Cut-elimination in logics with definitional reflection. |
| Record Nr. | UNISA-996465479903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Trends in Philosophical Logic / / edited by Roberto Ciuni, Heinrich Wansing, Caroline Willkommen
| Recent Trends in Philosophical Logic / / edited by Roberto Ciuni, Heinrich Wansing, Caroline Willkommen |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (211 p.) |
| Disciplina | 160 |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Mathematical logic Epistemology Mathematical Logic and Foundations |
| ISBN | 3-319-06080-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Semantic Defectiveness: A Dissolution of Semantic Pathology; Bradley Armour-Garb and James A. Woodbridge -- Chapter 2. Emptiness and discharge in sequent calculus and natural deduction; Michael Arndt and Luca Tranchini -- Chapter 3. The Knowability Paradox in the light of a Logic for Pragmatics; Massimiliano Carrara and Daniele Chi -- Chapter 4. A Dialetheic Interpretation of Classical Logic; Massimiliano Carrara and Enrico Martino -- Chapter 5. Strongly semantic information as information about the truth; Gustavo Cevolani -- Chapter 6. Priest's Motorbike and Tolerant Identity; Pablo Cobreros, Paul Egré, David Ripley and Robert van Rooij -- Chapter 7. How to unify Russellian and Strawsonian definite descriptions; Marie Duži -- Chapter 8. Tableau Metatheorem for Modal Logics; Tomasz Jarmuzek -- Chapter 9. On the Essential Flatness of Possible Worlds; Neil Kennedy -- Chapter 10. Collective Alternatives; Franz von Kutschera -- Chapter 11. da Costa meets Belnap and Nelson; Hitoshi Omori and Katsuhiko Sano -- Chapter 12. Explicating the Notion of Truth within Transparent Intensional Logic; Jiří Raclavský -- Chapter 13. Leibnizian intensional semantics for syllogistic reasoning; Robert van Rooij -- Chapter 14. Inter-Model Connectives and Substructural Logics; Igor Sedlár. |
| Record Nr. | UNINA-9910300154903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||