Material to categorize
- Fermat’s Last Theorem Proved in Hilbert Arithmetic. II. Its Proof in Hilbert Arithmetic by the Kochen-Specker Theorem with or Without Induction.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (10):1-52.details
- TO KNOW THEM, REMOVE THEM: AN OUTER METHODOLOGICAL APPROACH TO BIOPHYSICS AND HUMANITIES.Arturo Tozzi - manuscriptdetails
- KF, PKF and Reinhardt’s Program.Luca Castaldo & Johannes Stern - 2022 - Review of Symbolic Logic:1-26.details
- The Modal Logic of Set-Theoretic Potentialism and the Potentialist Maximality Principles.Joel David Hamkins & Øystein Linnebo - 2022 - Review of Symbolic Logic 15 (1):1-35.details
- The Structuralist Approach to Underdetermination.Chanwoo Lee - 2022 - Synthese 200 (2):1-25.details
- Perceptron Connectives in Knowledge Representation.Pietro Galliani, Guendalina Righetti, Daniele Porello, Oliver Kutz & Nicolas Toquard - 2020 - In Knowledge Engineering and Knowledge Management - 22nd International Conference, {EKAW} 2020, Bolzano, Italy, September 16-20, 2020, Proceedings. Lecture Notes in Computer Science 12387. pp. 183-193.details
- Towards a Cognitive Semantics of Type.Daniele Porello & Giancarlo Guizzardi - 2017 - In AI*IA 2017 Advances in Artificial Intelligence - XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings. Lecture Notes in Computer Science 10640. pp. 428-440.details
- The Logica Yearbook 2012.Vit Puncochar & Petr Svarny (eds.) - 2013 - College Publications.details
- Hannah Arendt on Racist Logomania.Joshua M. Hall - forthcoming - Journal of Mind and Behavior.details
- La logica della spiegazione come argomento per l'esistenza di Dio.Daniele Bertini - 2021 - Nuovo Giornale di Filosofia Della Religione 1 (1):77-106.details
- Logica, Seconda edizione.Achille C. Varzi, John Nolt & Dennis A. Rohatyn - 2007 - Milan: McGraw-Hill Italia.details
- Logica.John Nolt, Dennis A. Rohatyn & Achille C. Varzi - 2003 - Milan: McGraw-Hill Italia.details
- A Note on Paradoxical Propositions From an Inferential Point of View.Ivo Pezlar - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 183-199.details
- Problemas semánticos en filosofía de la lógica.Sergio Aramburu - 2021 - Actas y Comunicaciones UNGS 6:193-211.details
- Diagonal Arguments and Fixed Points.Saeed Salehi - 2017 - Bulletin of the Iranian Mathematical Society 43 (5):1073-1088.details
- Axiomatization of Crisp Gödel Modal Logic.Ricardo Oscar Rodriguez & Amanda Vidal - 2020 - Studia Logica 109 (2):367-395.details
- Introduction to Mathematical Logic, Edition 2021.Vilnis Detlovs & Karlis Podnieks - manuscriptdetails
- Analyticity and Modulation. Broadening the Rescale Perspective on Language Logicality.Salvatore Pistoia-Reda & Uli Sauerland - 2021 - International Review of Pragmatics 1 (13):1-13.details
- Counterfactual Logic and the Necessity of Mathematics.Samuel Z. Elgin - 2021 - Journal of Philosophical Logic 50 (1):97-115.details
- Opposition Relations Between Prophecies.Yessica Espinoza Ramos & José David García Cruz - 2020 - In Chapman P. Pietarinen Av (ed.), Diagrammatic Representation and Inference. Diagrams 2020. Lecture Notes in Computer Science. pp. 394-401.details
- Logical Characterisation of Concept Transformations From Human Into Machine Relying on Predicate Logic.Farshad Badie - 2016 - In ACHI 2016 : The Ninth International Conference on Advances in Computer-Human Interactions. pp. 376-379.details
- Inferences and Metainferences in ST.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2020 - Journal of Philosophical Logic 49 (6):1057-1077.details
- Proof Systems for Various Fde-Based Modal Logics.Sergey Drobyshevich & Heinrich Wansing - 2020 - Review of Symbolic Logic 13 (4):720-747.details
- Sobre la capturabilidad de teorías informales en sistemas axiomáticos formales.Ariel Jonathan Roffé - 2014 - Cuadernos de Filosofía 62:65-75.details
- Logic of Faith and Dead. The Idea and Outline of the Theoretical Conception.Wybraniec-Skardowska Urszula - 2019 - Philosophia Christine 55 (2):125-149.details
- Structure and Logic of Conceptual Mind.Venkata Rayudu Posina - manuscriptdetails
- Polarity Semantics for Negation as a Modal Operator.Yuanlei Lin & Minghui Ma - 2020 - Studia Logica 108 (5):877-902.details
- No New Solutions to the Logical Problem of the Trinity.Beau Branson - 2019 - Journal of Applied Logics 6 (6):1051-1092.details
- The Poset of All Logics III: Finitely Presentable Logics.Ramon Jansana & Tommaso Moraschini - 2021 - Studia Logica 109 (3):539-580.details
- Measuring Inconsistency in Some Logics with Modal Operators.John Grant - 2021 - Studia Logica 109 (3):581-605.details
- The Logic of Information in State Spaces.Levin Hornischer - forthcoming - Review of Symbolic Logic:1-32.details
- A Note on Choice Principles in Second-Order Logic.Benjamin Siskind, Paolo Mancosu & Stewart Shapiro - forthcoming - Review of Symbolic Logic:1-12.details
- Schopenhauer Diagrams for Conceptual Analysis.Michał Dobrzański & Jens Lemanski - 2020 - In Diagrammatic Representation and Inference 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings. Basel: Springer. pp. 281-288.details
- Function Logic and the Theory of Computability.Jaakko Hintikka - 2013 - APA Newsletter on Philosophy and Computers 13 (1):10-19.details
- Three Characterizations of Strict Coherence on Infinite-Valued Events.Tommaso Flaminio - 2020 - Review of Symbolic Logic 13 (3):593-610.details
- Restricted Interpolation and Lack Thereof in Stit Logic.Grigory K. Olkhovikov - 2020 - Review of Symbolic Logic 13 (3):459-482.details
- Beyond Subgoaling: A Dynamic Knowledge Generation Framework for Creative Problem Solving in Cognitive Architectures.Antonio Lieto - 2019 - Cognitive Systems Research 58:305-316.details
- Logical Laws for Short Existential Monadic Second-Order Sentences About Graphs.M. E. Zhukovskii - 2019 - Journal of Mathematical Logic 20 (2):2050007.details
- Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Lecture Notes in Computer Science Book 9160).Valeria Correa Vaz De Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel M. Leivant & Anjolina G. De Oliveira - 2015 - Springer.details
- Philosophical Investigation Series: Selected Texts on Logic / Série Investigação Filosófica: Textos Selecionados de Lógica.Danilo Fraga Dantas & Rodrigo Cid - 2020 - Pelotas - Princesa, Pelotas - RS, Brasil: UFPEL's Publisher / Editora da UFPEL.details
- Satisfiability is False Intuitionistically: A Question from Dana Scott.Charles McCarty - 2020 - Studia Logica 108 (4):803-813.details
- L -effect Algebras.Wolfgang Rump & Xia Zhang - 2020 - Studia Logica 108 (4):725-750.details
- A Note on Strong Axiomatization of Gödel Justification Logic.Nicholas Pischke - 2020 - Studia Logica 108 (4):687-724.details
- A Classical Logic of Existence and Essence.Sergio Galvan & Alessandro Giordani - 2020 - Logic and Logical Philosophy 29 (4):541-570.details
- Leibnizian Identity and Paraconsistent Logic.Ali Abasnezhad - 2020 - History and Philosophy of Logic 41 (3):236-243.details
- More Observations.Paul Merriam - manuscriptdetails
- Angels in the Areopagetic Tradition.Christos Terezis & Lydia Petridou - 2019 - Augustinianum 59 (2):505-522.details
- A Description Logic Based Knowledge Representation Model for Concept Understanding.Farshad Badie - 2017 - In Jasper van den Herik, A. Rocha & J. Filipe (eds.), Agents and Artificial Intelligence. Cham, Switzerland: Springer.details
- Modelling Last-Act Attempted Crime in Criminal Law.Jiraporn Pooksook, Phan Minh Dung, Ken Satoh & Giovanni Sartor - 2019 - Journal of Applied Non-Classical Logics 29 (4):327-357.details
- Varieties of BL-Algebras III: Splitting Algebras.Paolo Aglianó - 2019 - Studia Logica 107 (6):1235-1259.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
|
|