- Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
Topological Foundations of Cognitive Science.Carola Eschenbach, Christopher Habel & Barry Smith (eds.) - 1984 - Hamburg: Graduiertenkolleg Kognitionswissenschaft.details
|
|
Truthlikeness for Theories on Countable Languages.Thomas Mormann - 2006 - In Ian Jarvie, Karl Milford & David Miller (eds.), Karl Popper: A Centenary Assessment vol. 3.details
|
|
Description, Construction and Representation. From Russell and Carnap to Stone.Thomas Mormann - 2006 - In Guido Imagire & Christine Schneider (eds.), Untersuchungen zur Ontologie.details
|
|
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.details
|
|
Standardization principle of nonstandard universes.Masahiko Murakami - 1999 - Journal of Symbolic Logic 64 (4):1645-1655.details
|
|
Heyting Algebras: Duality Theory.Leo Esakia - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
(1 other version)An Axiomatization of Topological Boolean Algebras.Joel Kagan - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):103-106.details
|
|
Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.details
|
|
A Boolean model of ultrafilters.Thierry Coquand - 1999 - Annals of Pure and Applied Logic 99 (1-3):231-239.details
|
|
Evo-Devo as a Trading Zone.Rasmus Grønfeldt Winther - 2014 - In Alan C. Love (ed.), Conceptual Change in Biology: Scientific and Philosophical Perspectives on Evolution and Development. Berlin: Springer Verlag, Boston Studies in the Philosophy of Science.details
|
|
Naturalness, intrinsicality, and duplication.Theodore R. Sider - 1993 - Dissertation, University of Massachusettsdetails
|
|
Boolean-valued set theory and forcing.Richard Mansfield & John Dawson - 1976 - Synthese 33 (2-4):223 - 252.details
|
|
Zorn's lemma and complete Boolean algebras in intuitionistic type theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.details
|
|
On 2nd Order Calculi of Individuals.Karl-Georg Niebergall - 2009 - Theoria 24 (2):169-202.details
|
|
Probabilistic Opinion Pooling with Imprecise Probabilities.Rush T. Stewart & Ignacio Ojea Quintana - 2018 - Journal of Philosophical Logic 47 (1):17-45.details
|
|
Conceptual change and evolutionary developmental biology.A. C. Love - 2014 - In Alan C. Love (ed.), Conceptual Change in Biology: Scientific and Philosophical Perspectives on Evolution and Development. Berlin: Springer Verlag, Boston Studies in the Philosophy of Science. pp. 1-54.details
|
|
(1 other version)An Axiomatization of Topological Boolean Algebras.Joel Kagan - 1972 - Mathematical Logic Quarterly 18 (7):103-106.details
|
|
Effects, Observables, States, and Symmetries in Physics.David J. Foulis - 2007 - Foundations of Physics 37 (10):1421-1446.details
|
|
The Logical Basis of the Tractarian Ontology.Natan Berber - 2007 - Axiomathes 17 (2):185-196.details
|
|
Another Problem in Possible World Semantics.Yifeng Ding & Wesley H. Holliday - 2020 - In Nicola Olivetti & Rineke Verbrugge (eds.), Advances in Modal Logic, Vol. 13. College Publications. pp. 149-168.details
|
|
Operational logics and the Hahn-Jordan property.Yewande Olubummo & Thurlow A. Cook - 1990 - Foundations of Physics 20 (7):905-913.details
|
|
An algebraic characterization of power set in countable standard models of ZF.George Metakides & J. M. Plotkin - 1975 - Journal of Symbolic Logic 40 (2):167-170.details
|
|
Orthospaces and quantum logic.J. L. Bell - 1985 - Foundations of Physics 15 (12):1179-1202.details
|
|
Realism, operationalism, and quantum mechanics.D. Foulis, C. Piron & C. Randall - 1983 - Foundations of Physics 13 (8):813-841.details
|
|
Small infinitary epistemic logics.Tai-wei Hu, Mamoru Kaneko & Nobu-Yuki Suzuki - 2019 - Review of Symbolic Logic 12 (4):702-735.details
|
|
Mathematical quantum theory I: Random ultrafilters as hidden variables.William Boos - 1996 - Synthese 107 (1):83 - 143.details
|
|
Mass terms and quantification.Jan Tore Lønning - 1987 - Linguistics and Philosophy 10 (1):1 - 52.details
|
|
On Boolean Algebras and their Recursive Completions.E. W. Madison - 1985 - Mathematical Logic Quarterly 31 (31-34):481-486.details
|
|
Representation of symmetric probability models.Peter H. Krauss - 1969 - Journal of Symbolic Logic 34 (2):183-193.details
|
|
Intellectual Trespassing as a Way of Life: Essays in Philosophy, Economics, and Mathematics.David P. Ellerman - 1995 - Rowman & Littlefield Publishers.details
|
|
Symmetrical Heyting algebras with operators.Luisa Iturrioz - 1983 - Mathematical Logic Quarterly 29 (2):33-70.details
|
|
Distributive lattices with a dual homomorphic operation.Alasdair Urquhart - 1979 - Studia Logica 38 (2):201 - 209.details
|
|
Categories of frames for modal logic.S. K. Thomason - 1975 - Journal of Symbolic Logic 40 (3):439-442.details
|
|
Construction of models for algebraically generalized recursive function theory.H. R. Strong - 1970 - Journal of Symbolic Logic 35 (3):401-409.details
|
|
Region-based topology.Peter Roeper - 1997 - Journal of Philosophical Logic 26 (3):251-309.details
|
|
Propositional manifolds and logical cohomology.J. Kouneiher & A. P. M. Balan - 2000 - Synthese 125 (1-2):147-154.details
|
|
Extension of relatively |sigma-additive probabilities on Boolean algebras of logic.Mohamed A. Amer - 1985 - Journal of Symbolic Logic 50 (3):589 - 596.details
|
|
The completeness theorem for infinitary logic.Richard Mansfield - 1972 - Journal of Symbolic Logic 37 (1):31-34.details
|
|
The existence of countable totally nonconstructive extensions of the countable atomless Boolean algebra.E. W. Madison - 1983 - Journal of Symbolic Logic 48 (1):167-170.details
|
|
Formalized Token Models and Duality in Semantics: An Algebraic Approach.Lars Hansen - 2004 - Journal of Symbolic Logic 69 (2):443 - 477.details
|
|
A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points.Rafał Gruszczyński & Andrzej Pietruszczak - 2019 - Studia Logica 107 (4):809-843.details
|
|
Horn sentences.Fred Galvin - 1970 - Annals of Mathematical Logic 1 (4):389.details
|
|
Automorphisms of Finite Order.D. A. Anapolitanos - 1979 - Mathematical Logic Quarterly 25 (33):565-575.details
|
|
Using mathematica to understand the computer proof of the Robbins conjecture.Branden Fitelson - manuscriptdetails
|
|
An algorithm for deriving tautologies of logic of classes and relations from those of sentential calculus.Michele Malatesta - 2000 - Metalogicon 13 (2):89-123.details
|
|