Facet browsing currently unavailable
Page 1 of 204 results
Sort by: relevance publication year
A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs JOURNAL ARTICLE published 30 March 2016 in Bulletin of the Section of Logic |
On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories JOURNAL ARTICLE published 30 December 2018 in Bulletin of the Section of Logic |
Applications of Algebra in Logic and Computer Science – the Past and the Future JOURNAL ARTICLE published 30 March 2018 in Bulletin of the Section of Logic |
Bulletin of the Section of Logic JOURNAL published |
An Epistemological Study of Theory Change JOURNAL ARTICLE published 9 November 2021 in Bulletin of the Section of Logic |
Note on the Intuitionistic Logic of False Belief JOURNAL ARTICLE published 1 September 2021 in Bulletin of the Section of Logic |
On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results JOURNAL ARTICLE published 21 July 2021 in Bulletin of the Section of Logic |
Free Modal Pseudocomplemented De Morgan Algebras JOURNAL ARTICLE published 30 June 2018 in Bulletin of the Section of Logic |
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic JOURNAL ARTICLE published 31 December 2019 in Bulletin of the Section of Logic |
Mathematical Methods in Region-Based Theories of Space: The Case of Whitehead Points JOURNAL ARTICLE published 4 December 2023 in Bulletin of the Section of Logic Research funded by Narodowe Centrum Nauki (grant number 2020/39/B/HS1/00216) |
Linear Abelian Modal Logic JOURNAL ARTICLE published 15 December 2023 in Bulletin of the Section of Logic |
An Arithmetically Complete Predicate Modal Logic JOURNAL ARTICLE published 23 August 2021 in Bulletin of the Section of Logic |
A Note on Gödel-Dummet Logic LC JOURNAL ARTICLE published 1 July 2021 in Bulletin of the Section of Logic |
Falling Shadow Theory with Applications in Hoops JOURNAL ARTICLE published 20 January 2021 in Bulletin of the Section of Logic |
Tableaux for some deontic logics with the explicit permission operator JOURNAL ARTICLE published 23 June 2022 in Bulletin of the Section of Logic Research funded by Narodowym Centrum Nauki (UMO-2017/26/M/HS1/01092) |
B-almost distributive fuzzy lattice JOURNAL ARTICLE published 30 October 2018 in Bulletin of the Section of Logic |
Non-Fregean Logics of Analytic Equivalence (II) JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic |
Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5 JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic |
Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality JOURNAL ARTICLE published 9 September 2022 in Bulletin of the Section of Logic Research funded by Ministry of Science and Higher Education of the Russian Federation (No. 075-02-2022-876) |
Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic Research funded by National Academy of Sciences of Ukraine (unknown) |