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.
Contradictions, from Consistency to Inconsistency / / edited by Walter Carnielli, Jacek Malinowski
| Contradictions, from Consistency to Inconsistency / / edited by Walter Carnielli, Jacek Malinowski |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (323 pages) |
| Disciplina | 165 |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Ontology Mathematical logic Mathematical Logic and Foundations |
| ISBN | 3-319-98797-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Contradictions, from Consistency to Inconsistency (Walter Carnielli) -- Chapter 2. The price of true contradictions about the world (Jonas R. Becker Arenhart) -- Chapter 3. The possibility and fruitfulness of a debate on the Principle of Non-Contradiction (Luis Estrada-Gonzalez) -- Chapter 4. Keeping Globally Inconsistent Scientific Theories Locally Consistent (Michele Friend) -- Chapter 5. Title Not Available (Eduardo Barrio) -- Chapter 6. Provided you're not trivial: Adding defaults and paraconsistency to a formal model of explanation (David Gaytán) -- Chapter 7. Para-Disagreement Logics and their Implementation through Embedding in Coq and SMT (Bruno Woltzenlogel Paleo) -- Chapter 8. Asymptotic quasi-completeness and ZFC (Marco Panza) -- Chapter 9. Interpretation and Truth in Set Theory (Rodrigo A. Freire) -- Chapter 10. Coherence of the product law for independent continuous events (Daniele Mundici) -- Chapter 11. A local-global principle for the real continuum (José Carlos Magossi) -- Chapter 12. Quantitative Logic Reasoning (Marcelo Finger) -- Chapter 13. Reconciling first-order logic to algebra (Walter Carnielli) -- Chapter 14. Plug and play negations (Sergio Marcelino). |
| Record Nr. | UNINA-9910300138403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Janusz Czelakowski on Logical Consequence / / edited by Jacek Malinowski, Rafał Palczewski
| Janusz Czelakowski on Logical Consequence / / edited by Jacek Malinowski, Rafał Palczewski |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (473 pages) |
| Disciplina | 511.324 |
| Collana | Outstanding Contributions to Logic |
| Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Foundations |
| ISBN | 3-031-44490-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction (Jacek Malinowski and Rafał Palczewski) -- Chapter 2. Biogram (Janusz Czelakowski) -- Chapter 3. Section of logic in Łódź 1982–1992 (Jacek Malinowski) -- Part 1: Surveys -- Chapter 4. Janusz Czelakowski’s research on the theory of matrices and its applications in the seventies and eighties of the 20th century (Josep Maria Font and Ramon Jansana) -- Chapter 5. A gentle introduction to the Leibniz hierarchy (Tommaso Moraschini) -- Chapter 6. Czelakowski’s work on quasivarieties (Miguel Campercholi and Diego Castaño) -- Chapter 7. On J. Czelakowski’s contributions to quantum logic and the foundation of quantum mechanics (Davide Fazio) -- Chapter 8. Actions and deontology: Janusz Czelakowski on actions and their assessment (Fengkui Ju and Piotr Kulicki) -- Part 2: Research -- Chapter 9. Assertional logics and the Frege hierarchy (Hugo Albuquerque and Ramon Jansana) -- Chapter 10. Characterization of strong day implication systems (Sergey Babenyshev) -- Chapter 11. SCI – Sequentcalculi, cut elimination and interpolation property (Andrzej Indrzejczak) -- Chapter 12. Some more theorems on structural entailment relations and non-deterministic semantics (Carlos Caleiro, Sérgio Marcelino, and Umberto Rivieccio) -- Chapter 13. Boolean-like algebras of finite dimension: From Boolean products to semiring products (Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, and Antonino Salibra) -- Chapter 14. Logic of action from the perspective of knowledge representation (Andreas Herzig, Emiliano Lorini, and Elise Perrotin) -- Chapter 15. Implication in sharply paraorthomodular and relatively paraorthomodular posets (Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda, and Jan Paseka) -- Chapter 16. My final comments to the volume (Janusz Czelakowski) -- Chapter 17. List of publications of Janusz Czelakowski. |
| Record Nr. | UNINA-9910842498803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic in High Definition : Trends in Logical Semantics / / edited by Alessandro Giordani, Jacek Malinowski
| Logic in High Definition : Trends in Logical Semantics / / edited by Alessandro Giordani, Jacek Malinowski |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (V, 243 p. 59 illus.) |
| Disciplina | 121.68 |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Language and languages - Philosophy Formal Logic Philosophy of Language Philosophical Logic |
| ISBN | 3-030-53487-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Logic in High Definition, Trends in Logical Semantics (Alessandro Giordani and Jacek Malinowski) -- Chapter 2. Relating Semantics as Fine-grained Semantics for Intensional Propositional Logics (Tomasz Jarmuzek). Chapter 3. Some Intensional Logics Defined by Relating Semantics and Tableau systems (Tomasz Jarmuzek and Mateusz Klonowski) -- Chapter 4. Relating Semantics for Connexive Logic (Jacek Malinowski and Rafał Palczewski) -- Chapter 5. Discussion Note: Exact Truthmaking as Inexact Truthmaking by Minimal Totality Facts (Hannes Leitgeb) -- Chapter 6. Hyperintensionality in Imagination (Pierre Saint-Germier) -- Chapter 7. Deontic Logic with Action Types and Tokens (Alessandro Giordani) -- Chapter 8. Causal Agency and Responsibility: A Refinement of STIT Logic (Alexandru Baltag, Ilaria Canavotto and Sonja Smets) -- Chapter 9. Impossible Individuals as Necessarily Empty Individual Concepts (Marie Duzı, Daniela Glavanicova and Bjørn Jespersen) -- Chapter 10. Metalinguistic Focus in P-HYPE Semantics (Luke Burke). . |
| Record Nr. | UNINA-9910483322003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||