- Proof-theoretic semantics as a resource for expressing semantic variability.Nissim Francez - 2022 - Synthese 200 (4):1-27.details
|
|
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.details
|
|
A Logic Inspired by Natural Language: Quantifiers As Subnectors.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (6):1153-1172.details
|
|
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.details
|
|
A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.details
|
|
The universality of logic: On the connection between rationality and logical ability.Simon J. Evnine - 2001 - Mind 110 (438):335-367.details
|
|
Towards a canonical classical natural deduction system.José Espírito Santo - 2013 - Annals of Pure and Applied Logic 164 (6):618-650.details
|
|
Negation and Paraconsistent Logics.Soma Dutta & Mihir K. Chakraborty - 2011 - Logica Universalis 5 (1):165-176.details
|
|
Infinite Regress Arguments as per impossibile Arguments in Aristotle: De Caelo 300a30–b1, Posterior Analytics 72b5–10, Physics V.2 225b33–226a10. [REVIEW]Matthew Duncombe - 2022 - Rhizomata 10 (2):262-282.details
|
|
The Bounds of Logic: A Generalized Viewpoint.Gila Sher - 1991 - MIT Press.details
|
|
The Vienna Circle in the Nordic Countries: networks and transformations of logical empiricism.Juha Manninen & Friedrich Stadler (eds.) - 2009 - New York: Springer Science + Business Media.details
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus.Pavlović Edi - 2015 - European Journal of Analytic Philosophy 11 (2):79--88.details
|
|
Linear logic.Roberto Di Cosmo & Dale Miller - unknown - Stanford Encyclopedia of Philosophy.details
|
|
Non-logical Consequence.David Hitchcock - 2009 - Studies in Logic, Grammar and Rhetoric 16 (29).details
|
|
On the importance of being analytic. The paradigmatic case of the logic of proofs.Francesca Poggiolesi - 2012 - Logique Et Analyse 55 (219):443-461.details
|
|
Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscriptdetails
|
|
Relações de consequência simétrica.Hércules de Araújo Feitosa, Marcelo Reicher Soares & Ângela Pereira Rodrigues Moreira - 2016 - Clareira: Revista de Filosofia da Região Amazônica 3 (2):53-62.details
|
|
Logical Quantifiers.Gila Sher - 2012 - In D. Graff Fara & G. Russell (eds.), Routledge Companion to Philosophy of Language. Routledge. pp. 579-595.details
|
|
The content and acquisition of lexical concepts.Richard Horsey - 2006details
|
|
The Identity of Proofs and the Criterion for Admissible Reductions.Seungrak Choi - 2021 - Korean Journal of Logic 3 (24):245-280.details
|
|
G'3 as the logic of modal 3-valued Heyting algebras.Marcelo E. Coniglio, Aldo Figallo-Orellano, Alejandro Hernández-Tello & Miguel Perez-Gaspar - 2022 - IfCoLog Journal of Logics and Their Applications 9 (1):175-197.details
|
|
Distribution in the logic of meaning containment and in quantum mechanics.Ross T. Brady & Andrea Meinander - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 223--255.details
|
|
The Normativity of Logic in a Psychologistic Framework: Three Approaches.Simone Melis - 2021 - Dissertation, University of Turindetails
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.details
|
|
Unraveling the enigma of human intelligence: Evolutionary psychology and the multimodular mind.Leda Cosmides & John Tooby - 2002 - In Robert J. Sternberg & J. Kaufman (eds.), The Evolution of Intelligence. Lawrence Erlbaum. pp. 145--198.details
|
|
Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New Yorkdetails
|
|
O expressivismo lógico de Aristóteles segundo Lucas Angioni: um breve e introdutório quadro teórico.Aislan Fernandes Pereira - 2017 - Books of Abstracts (3rd FILOMENA Workshop).details
|
|
On formal aspects of the epistemic approach to paraconsistency.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2018 - In Max Freund, Max Fernandez de Castro & Marco Ruffino (eds.), Logic and Philosophy of Logic: Recent Trends in Latin America and Spain. London: College Publications. pp. 48-74.details
|
|
Recovery operators, paraconsistency and duality.Walter A. Carnielli, Marcelo E. Coniglio & Abilio Rodrigues Filho - 2020 - Logic Journal of the IGPL 28 (5):624-656.details
|
|
Synchronous Online Philosophy Courses: An Experiment in Progress.Fritz McDonald - 2018 - APA Newsletter on Philosophy and Computers 18 (1):37-40.details
|
|
The Display Problem Revisited.Tyke Nunez - 2010 - In Michal Peliš Vit Punčochàr (ed.), Logica Handbook 2010. College Publications. pp. 143-156.details
|
|
Structured sequent calculi for combining intuitionistic and classical first-order logic.Paqui Lucio - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of Combining Systems. Research Studies Press. pp. 88--104.details
|
|