Material to categorize
- Arbitrary Public Announcement Logic with Memory.Alexandru Baltag, Aybüke Özgün & Ana Lucia Vargas Sandoval - 2023 - Journal of Philosophical Logic 52 (1):53-110.details
- Probability and Symmetric Logic.Michał Gil Sanchez, Zalán Gyenis & Leszek Wroński - 2023 - Journal of Philosophical Logic 52 (1):183-198.details
- The Laws of Thought and the Laws of Truth as Two Sides of One Coin.Ulf Hlobil - 2023 - Journal of Philosophical Logic 52 (1):313-343.details
- Proof Theory of First Order Abduction: Sequent Calculus and Structural Rules.Seyed Ahmad Mirsanei - 2021 - Eighth Annual Conference of Iranian Association for Logic (Ial).details
- Tableau-resolution based description abduction logics: An A-Box Abduction Problem Solver in Artificial Intelligence.Seyed Ahmad Mirsanei - 2023 - In The 9th International TMU Student Philosophy Conference. Tehran: Tarbiat Modares University - Department of Philosophy. pp. 133-137.details
- Non-standard completeness of first-order MTL's extension using single-chain method.S. Ahmad Mirsanei - unknowndetails
- A Teamwork communication model based on spiritual intelligence by fuzzy logic.S. Ahmad Mirsanei, Mohammad Kadkhoda & Jahani Hooriyeh - 2013 - Proceedings of the IEEE 2013:1-6.details
- Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic.Yale Weiss - 2022 - Notre Dame Journal of Formal Logic 63 (4):551-579.details
- Grado de dependencia e independencia de los (sub) componentes de Conjuntos Borrosos y Neutrosóficos.Florentin Smarandache - 2019 - Neutrosophic Computing and Machine Learning 5 (1):1-6.details
- Degree of Dependence and Independence of the (Sub)Components of Fuzzy Set and Neutrosophic Set.Florentin Smarandache - 2016 - Neutrosophic Sets and Systems 11 (1):95-97.details
- Nidus Idearum. Scilogs, I: De neutrosophia.Florentin Smarandache - 2016 - Brussels, Belgium: Pons.details
- Nidus Idearum. Scilogs, II: de rerum consectatione.Florentin Smarandache - 2016 - Brussels, Belgium: Pons.details
- Nidus Idearum. Scilogs, III: Viva la Neutrosophia!Florentin Smarandache - 2017 - Brussels, Belgium: Pons.details
- Nidus Idearum. Scilogs, IV: vinculum vinculorum.Florentin Smarandache - 2019 - Brussels, Belgium: Pons.details
- Nidus Idearum. Scilogs, V: joining the dots.Florentin Smarandache - 2019 - Brussels, Belgium: Pons.details
- Nidus Idearum. Scilogs, VI: annotations on neutrosophy.Florentin Smarandache - 2019 - Brussels, Belgium: Pons.details
- Nidus Idearum. Scilogs, VII: superluminal physics.Florentin Smarandache - 2019 - Brussels, Belgium: Pons.details
- Improved Definition of NonStandard Neutrosophic Logic and Introduction to Neutrosophic Hyperreals (Fifth version).Florentin Smarandache - 2022 - Neutrosophic Sets and Systems 51 (1):1-20.details
- Definición Mejorada de Lógica Neutrosófica No Estándar e Introducción a los Hiperreales Neutrosóficos (Quinta versión). Improved Definition of Non-Standard Neutrosophic Logic and Introduction to Neutrosophic Hyperreals (Fifth Version).Florentin Smarandache - 2022 - Neutrosophic Computing and Machine Learning 23 (1):1-20.details
- Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification.Marija Boričić - 2019 - Bulletin of Symbolic Logic 25 (4):446-447.details
- What Follows from the Impossible: Everything or Nothing? (An Interpretation of the ‘Avranches Text’ and the Ars Meliduna).Wolfgang Lenzen - 2021 - History and Philosophy of Logic 43 (4):309-331.details
- From Inconsistency to Incompatibility.Marcelo E. Coniglio & Guilherme V. Toledo - forthcoming - Logic and Logical Philosophy:1-36.details
- Poly-Connexivity: Connexive Conjunction and Disjunction.Nissim Francez - 2022 - Notre Dame Journal of Formal Logic 63 (3):343-355.details
- Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams.Fausto Barbero & Fan Yang - 2022 - Notre Dame Journal of Formal Logic 63 (3):301-341.details
- Measuring Inconsistency in Some Logics with Tense Operators.John Grant - 2022 - Notre Dame Journal of Formal Logic 63 (3):415-440.details
- Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras.Aldo Figallo-Orellano, Miguel Peréz-Gaspar & Juan Manuel Ramírez-Contreras - 2022 - Studia Logica 110 (5):1291-1325.details
- Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - forthcoming - Journal of Philosophical Logic: 1 - 26.details
- Intuitionistic Propositional Logic with Galois Negations.Minghui Ma & Guiying Li - 2023 - Studia Logica 111 (1):21-56.details
- Ramsey's Lost Counterfactual.Caterina Sisti - forthcoming - History and Philosophy of Logic:1-16.details
- Enumerating teams in first-order team logics.Anselm Haak, Arne Meier, Fabian Müller & Heribert Vollmer - 2022 - Annals of Pure and Applied Logic 173 (10):103163.details
- Embedding causal team languages into predicate logic.Fausto Barbero & Pietro Galliani - 2022 - Annals of Pure and Applied Logic 173 (10):103159.details
- Iterated team semantics for a hierarchy of informational types.Vít Punčochář - 2022 - Annals of Pure and Applied Logic 173 (10):103156.details
- On the Presburger fragment of logics with multiteam semantics.Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103120.details
- Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence.Rafael Albert & Erich Grädel - 2022 - Annals of Pure and Applied Logic 173 (10):103088.details
- Three-Dimensional Affine Spatial Logics.Adam Trybus - forthcoming - Logica Universalis:1-18.details
- Complete Intuitionistic Temporal Logics for Topological Dynamics.Joseph Boudou, Martín Diéguez & David Fernández-Duque - 2022 - Journal of Symbolic Logic 87 (3):995-1022.details
- A Logic for Aristotle's Modal Syllogistic.Clarence Lewis Protin - 2022 - History and Philosophy of Logic.details
- Automating Reasoning with Standpoint Logic via Nested Sequents.Tim Lyon & Lucía Gómez Álvarez - 2022 - In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. pp. 257-266.details
- A Framework for Intuitionistic Grammar Logics.Tim Lyon - 2021 - In Pietro Baroni, Christoph Benzmüller & Yὶ N. Wang (eds.), Lecture Notes in Computer Science. 93413 Cham, Germany: pp. 495-503.details
- The bounds of transcendental logic. [REVIEW]S. Kovač - forthcoming - History and Philosophy of Logic:1-4.details
- Computational complexity of hybrid interval temporal logics.Przemysław Andrzej Wałęga - 2023 - Annals of Pure and Applied Logic 174 (1):103165.details
- A Probabilistic Logic Between $$LPP1$$ L P P 1 and $$LPP2$$ L P P 2.Šejla Dautović - 2022 - Logica Universalis 16 (1-2):323-333.details
- A Probabilistic Logic Between $$LPP1$$ L P P 1 and $$LPP2$$ L P P 2.Šejla Dautović - 2022 - Logica Universalis 16 (1):323-333.details
- A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences.María del Rosario Martínez-Ordaz - 2022 - Logica Universalis 16 (1):335-354.details
- Probabilistic Entailment on First Order Languages and Reasoning with Inconsistencies.Soroush Rafiee Rad - forthcoming - Review of Symbolic Logic:1-18.details
- Paraconsistent Logic Programming in Three and Four-Valued Logics.Kleidson Êglicio Carvalho da Silva Oliveira - 2022 - Bulletin of Symbolic Logic 28 (2):260-260.details
- Valuation Semantics for First-Order Logics of Evidence and Truth.H. Antunes, A. Rodrigues, W. Carnielli & M. E. Coniglio - 2022 - Journal of Philosophical Logic 51 (5):1141-1173.details
- Game Semantics, Quantifiers and Logical Omniscience.Bruno Ramos Mendonça - forthcoming - Logic and Logical Philosophy:1-22.details
- History of Relating Logic. The Origin and Research Directions.Mateusz Klonowski - 2021 - Logic and Logical Philosophy 30 (4):579–629.details
- Tableaux for Some Modal-Tense Logics Graham Priest’s Fashion.Juan Carlos Sánchez Hernández - 2022 - Studia Logica 110 (3):745-784.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|