- A Theory of Structured Propositions.Andrew Bacon - 2023 - Philosophical Review 132 (2):173-238.details
|
|
A Brief History of Fuzzy Logic in the Czech Republic and Significance of P. Hájek for Its Development.Vilém Novák - 2017 - Archives for the Philosophy and History of Soft Computing 2017 (1).details
|
|
Mathematical Structures Within Simple Type Theory.Samuel González-Castillo - forthcoming - Studia Logica:1-30.details
|
|
What Was the Syntax‐Semantics Debate in the Philosophy of Science About?Sebastian Lutz - 2017 - Philosophy and Phenomenological Research 95 (2):319-352.details
|
|
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.details
|
|
A type-theoretical approach for ontologies: The case of roles.Patrick Barlatier & Richard Dapoigny - 2012 - Applied ontology 7 (3):311-356.details
|
|
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.details
|
|
The Empty World as the Null Conjunction of States of Affairs.Rafael De Clercq - forthcoming - Erkenntnis:0-17.details
|
|
A fictionalist theory of universals.Tim Button & Robert Trueman - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.details
|
|
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.details
|
|
The logic languages of the TPTP world.Geoff Sutcliffe - 2023 - Logic Journal of the IGPL 31 (6):1153-1169.details
|
|
(1 other version)Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.details
|
|
(1 other version)Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.details
|
|
Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.details
|
|
A partial functions version of church's simple theory of types.William M. Farmer - 1990 - Journal of Symbolic Logic 55 (3):1269-1291.details
|
|
Semantical investigations on non-classical logics with recovery operators: negation.David Fuenmayor - forthcoming - Logic Journal of the IGPL.details
|
|
Two Constants in Carnap’s View on Scientific Theories.Sebastian Lutz - 2021 - In Sebastian Lutz & Adam Tamas Tuboly (eds.), Logical Empiricism and the Physical Sciences: From Philosophy of Nature to Philosophy of Physics. New York: Routledge. pp. 354-378.details
|
|
Combined reasoning by automated cooperation.Christoph Benzmüller, Volker Sorge, Mateja Jamnik & Manfred Kerber - 2008 - Journal of Applied Logic 6 (3):318-342.details
|
|
Alonzo Church.Oliver Marshall & Harry Deutsch - 2021 - Stanford Encyclopedia of Philosophy.details
|
|
Graded Structures of Opposition in Fuzzy Natural Logic.Petra Murinová - 2020 - Logica Universalis 14 (4):495-522.details
|
|
Carnap’s early metatheory: scope and limits.Georg Schiemer, Richard Zach & Erich Reck - 2017 - Synthese 194 (1):33-65.details
|
|
Grammar induction by unification of type-logical lexicons.Sean A. Fulop - 2010 - Journal of Logic, Language and Information 19 (3):353-381.details
|
|
(1 other version)Semantic bootstrapping of type-logical grammar.Sean A. Fulop - 2004 - Journal of Logic, Language and Information 14 (1):49-86.details
|
|
Syllogisms and 5-Square of Opposition with Intermediate Quantifiers in Fuzzy Natural Logic.Petra Murinová & Vilém Novák - 2016 - Logica Universalis 10 (2-3):339-357.details
|
|
ALONZO: Deduktionsagenten höherer Ordnung für Mathematische Assistenzsysteme.Benzmüller Christoph - 2003details
|
|
Eq-algebra-based Fuzzy Type Theory And Its Extensions.Vilém Novák - 2011 - Logic Journal of the IGPL 19 (3):512-542.details
|
|