- Trivalent logics arising from L-models for the Lambek calculus with constants.S. L. Kuznetsov - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):132-137.details
|
|
Three-valued logics for incomplete information and epistemic logic.Davide Ciucci & Didier Dubois - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 147--159.details
|
|
The cognitive architecture for chaining of two mental operations.Jérôme Sackur & Stanislas Dehaene - 2009 - Cognition 111 (2):187-211.details
|
|
(1 other version)A Muted Variation on a Theme of Mendelson.T. G. Mc Laughlin - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):57-60.details
|
|
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.details
|
|
Some new results on PCL1 and its related systems.Toshiharu Waragai & Hitoshi Omori - 2010 - Logic and Logical Philosophy 19 (1-2):129-158.details
|
|
(2 other versions)Recursively Enumerable Sets and Retracing Functions.C. E. M. Yates - 1962 - Mathematical Logic Quarterly 8 (3‐4):331-345.details
|
|
Lp+, k3+, fde+, and their 'classical collapse'.Jc Beall - 2013 - Review of Symbolic Logic 6 (4):742-754.details
|
|
A combinatory account of internal structure.Barry Jay & Thomas Given-Wilson - 2011 - Journal of Symbolic Logic 76 (3):807 - 826.details
|
|
Reaching Transparent Truth.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2013 - Mind 122 (488):841-866.details
|
|
(1 other version)Partial Information.Reinhard Muskens - 1993 - In R. E. Asher & J. M. Y. Simpson (eds.), The Encyclopedia of Language and Linguistics. Pergamon. pp. 6--2952.details
|
|
An Extension of the Formulas-as-Types Paradigm.J. Lambek - 1997 - Dialogue 36 (1):33-.details
|
|
Une grammaire de l'incomplétude référentielle: la logique intensionnelle des Principia Mathematica.Jocelyne Couture - 1983 - Dialogue 22 (1):69-90.details
|
|
A model theoretic characterization of effective operations.M. H. Löb - 1970 - Journal of Symbolic Logic 35 (2):217 - 222.details
|
|
Should deflationists be dialetheists?J. C. Beall & Bradley Armour-Garb - 2003 - Noûs 37 (2):303–324.details
|
|
Nonstandard theories of quantification and identity.A. Trew - 1970 - Journal of Symbolic Logic 35 (2):267-294.details
|
|
(1 other version)On analytic well-orderings.Hisao Tanaka - 1970 - Journal of Symbolic Logic 35 (2):198-204.details
|
|
Analytic cut.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):560-564.details
|
|
Two recursion theoretic characterizations of proof speed-ups.James S. Royer - 1989 - Journal of Symbolic Logic 54 (2):522-526.details
|
|
Finite axiomatizability for equational theories of computable groupoids.Peter Perkins - 1989 - Journal of Symbolic Logic 54 (3):1018-1022.details
|
|
(1 other version)Solution of a problem of Tarski.John Myhill - 1956 - Journal of Symbolic Logic 21 (1):49-51.details
|
|
Abstract computability and invariant definability.Yiannis N. Moschovakis - 1969 - Journal of Symbolic Logic 34 (4):605-633.details
|
|
Eine bemerkung zu Henkin's beweis für die vollständigkeit Des prädikatenkalküls der ersten stufe.G. Hasenjaeger - 1953 - Journal of Symbolic Logic 18 (1):42-48.details
|
|
(1 other version)The cylindric algebras of three-valued logic.Norman Feldman - 1998 - Journal of Symbolic Logic 63 (4):1201-1217.details
|
|
(1 other version)The post correspondence problem.Dennis F. Cudia & Wilson E. Singletary - 1968 - Journal of Symbolic Logic 33 (3):418-430.details
|
|
Degrees of unsolvability of constructible sets of integers.George Boolos & Hilary Putnam - 1968 - Journal of Symbolic Logic 33 (4):497-513.details
|
|
Proving church's thesis.Robert Black - 2000 - Philosophia Mathematica 8 (3):244--58.details
|
|
The derivation-indicator view of mathematical practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.details
|
|
Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.details
|
|
Modeling the suppression task under weak completion and well-founded semantics.Emmanuelle-Anna Dietz, Steffen Hölldobler & Christoph Wernhard - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):61-85.details
|
|
(1 other version)A Theory of Ambiguous Types and Its Axiomatizations.Andrey A. Kuzichev - 1989 - Mathematical Logic Quarterly 35 (6):495-514.details
|
|
Esquisse d'un modèle des activités cognitives.H. Wermus - 1978 - Dialectica 32 (3‐4):317-338.details
|
|
Finitely generated free Heyting algebras: the well-founded initial segment.R. Elageili & J. K. Truss - 2012 - Journal of Symbolic Logic 77 (4):1291-1307.details
|
|
Future Contradictions.Jc Beall - 2012 - Australasian Journal of Philosophy 90 (3):547-557.details
|
|
The Prototype Resemblance Theory of Disease.K. Sadegh-Zadeh - 2008 - Journal of Medicine and Philosophy 33 (2):106-139.details
|
|
Mass problems and measure-theoretic regularity.Stephen G. Simpson - 2009 - Bulletin of Symbolic Logic 15 (4):385-409.details
|
|
Separation principles in the hierarchy theory of pure first-order logic.M. R. Krom - 1963 - Journal of Symbolic Logic 28 (3):222-236.details
|
|
Effectively retractable theories and degrees of undecidability.J. P. Jones - 1969 - Journal of Symbolic Logic 34 (4):597-604.details
|
|
A simplification of combinatory logic.Nicolas D. Goodman - 1972 - Journal of Symbolic Logic 37 (2):225-246.details
|
|
The Harmony of Identity.Ansten Klev - 2019 - Journal of Philosophical Logic 48 (5):867-884.details
|
|
Self-Extensional Three-Valued Paraconsistent Logics.Arnon Avron - 2017 - Logica Universalis 11 (3):297-315.details
|
|
(1 other version)Nachwuchs für den Lügner.Rudolf Schüßler - 1986 - Erkenntnis 24 (2):219-234.details
|
|
(1 other version)A Note on Stahl's Opposite System.Takao Inoué - 1989 - Mathematical Logic Quarterly 35 (5):387-390.details
|
|
(1 other version)On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Mathematical Logic Quarterly 34 (5):385-392.details
|
|
Anticipation and the artificial: aesthetics, ethics, and synthetic life. [REVIEW]Mihai Nadin - 2010 - AI and Society 25 (1):103-118.details
|
|
Turing degrees and many-one degrees of maximal sets.Manuel Lerman - 1970 - Journal of Symbolic Logic 35 (1):29-40.details
|
|
Some forms of completeness.P. C. Gilmore - 1962 - Journal of Symbolic Logic 27 (3):344-352.details
|
|
(1 other version)Minimal degrees and the jump operator.S. B. Cooper - 1973 - Journal of Symbolic Logic 38 (2):249-271.details
|
|
The broad conception of computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.details
|
|
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values.Gemma Robles & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (1):37-63.details
|
|