- Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
(2 other versions)Recenzje.S. Łuszczewska-Romahnowa, Helena Rasiowa, Stanisław Kamiński & Laudwik Borkowski - 1958 - Studia Logica 8 (1):319-333.details
|
|
The real-algebraic structure of Scott's model of intuitionistic analysis.Philip Scowcroft - 1984 - Annals of Pure and Applied Logic 27 (3):275-308.details
|
|
(1 other version)BI‐Modal Logic, Double‐Closure Algebras, and Hilbert Space.Jean E. Rubin - 1962 - Mathematical Logic Quarterly 8 (3‐4):305-322.details
|
|
O geometrycznej interpretacji wyrażeń logicznych.Helena Rasiowa & Andrzeij Mostowski - 1953 - Studia Logica 1 (1):254 - 275.details
|
|
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.details
|
|
(1 other version)Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1-3):37-48.details
|
|
Topological forcing semantics with settling.Robert S. Lubarsky - 2012 - Annals of Pure and Applied Logic 163 (7):820-830.details
|
|
Quantified intuitionistic logic over metrizable spaces.Philip Kremer - 2019 - Review of Symbolic Logic 12 (3):405-425.details
|
|
Petr Cintula, Carles Noguera, Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics, vol. 57 of Trends in Logic, Springer, 2021, pp. 465+xxii; ISBN: 978-3-030-85674-8 (Hardcover) 117.69€, ISBN: 978-3-030- 85675-5 (eBook) 93.08 €. [REVIEW]Ramon Jansana - 2023 - Studia Logica 111 (4):709-715.details
|
|
Two applications of Boolean models.Thierry Coquand - 1998 - Archive for Mathematical Logic 37 (3):143-147.details
|
|
Mathematical Fuzzy Logic – What It Can Learn from Mostowski and Rasiowa.Petr Hájek - 2006 - Studia Logica 84 (1):51-62.details
|
|
Semantical investigations on non-classical logics with recovery operators: negation.David Fuenmayor - forthcoming - Logic Journal of the IGPL.details
|
|
A constructive semantics for non-deducibility.Francesco Ciraulo - 2008 - Mathematical Logic Quarterly 54 (1):35-48.details
|
|
First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.details
|
|
The logic of brouwer and heyting.Joan Rand Moschovakis - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 77-125.details
|
|