- Replacement in Logic.Lloyd Humberstone - 2013 - Journal of Philosophical Logic 42 (1):49-89.details
|
|
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.details
|
|
Conservativeness and uniqueness.Peter Schroeder-Heister - 1985 - Theoria 51 (3):159-173.details
|
|
Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCsK fragment of S. [REVIEW]Lloyd Humberstone - 2007 - Journal of Philosophical Logic 36 (5):435 - 487.details
|
|
Logical Friendliness and Sympathy in Logic.David C. Makinson - 2005 - In Jean-Yves Béziau (ed.), Logica Universalis: Towards a General Theory of Logic. Boston: Birkhäuser Verlog. pp. 191--205.details
|
|
Matrix approach in methodology of sentential calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.details
|
|
What is a Rule of Inference?Neil Tennant - 2021 - Review of Symbolic Logic 14 (2):307-346.details
|
|
On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic.Neil Tennant - 2018 - Notre Dame Journal of Formal Logic 59 (4):559-578.details
|
|
Discriminator logics.Matthew Spinks, Robert Bignall & Robert Veroff - 2014 - Australasian Journal of Logic 11 (2).details
|
|
Classical Logic with n Truth Values as a Symmetric Many-Valued Logic.A. Salibra, A. Bucciarelli, A. Ledda & F. Paoli - 2020 - Foundations of Science 28 (1):115-142.details
|
|
Algebraic study of Sette's maximal paraconsistent logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.details
|
|
The deducibilities of S.Jean Porte - 1981 - Journal of Philosophical Logic 10 (4):409 - 422.details
|
|
What is a Non-truth-functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.details
|
|
For Want of an ‘And’: A Puzzle about Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.details
|
|
Algebraic Study of Two Deductive Systems of Relevance Logic.Josep Maria Font & Gonzalo Rodríguez - 1994 - Notre Dame Journal of Formal Logic 35 (3):369-397.details
|
|
Zero-place operations and functional completeness, and the definition of new connectives.I. L. Humberstone - 1993 - History and Philosophy of Logic 14 (1):39-66.details
|
|
Supervenience, Dependence, Disjunction.Lloyd Humberstone - forthcoming - Logic and Logical Philosophy:1.details
|
|
(1 other version)Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5.Lloyd Humberstone - 2006 - Journal of Philosophical Logic 35 (5):435-487.details
|
|
Explicating Logical Independence.Lloyd Humberstone - 2020 - Journal of Philosophical Logic 49 (1):135-218.details
|
|
On the Equivalence for Non‐Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models.Ronald Harrop - 1971 - Mathematical Logic Quarterly 17 (1):137-143.details
|
|
On the Closure Properties of the Class of Full G-models of a Deductive System.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2006 - Studia Logica 83 (1-3):215-278.details
|
|
A mind of a non-countable set of ideas.Alexander Citkin - 2008 - Logic and Logical Philosophy 17 (1-2):23-39.details
|
|
Synonymy and Intra-Theoretical Pluralism.Patrick Allo - 2015 - Australasian Journal of Philosophy 93 (1):77-91.details
|
|
Full Models for Sentential Logics.Josep Maria Font & Ramon Jansana - 1995 - Bulletin of the Section of Logic 24 (3):123-131.details
|
|
Hard and Soft Logical Information.Allo Patrick - 2017 - Journal of Logic and Computation:1-20.details
|
|
Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|