Facet browsing currently unavailable
Page 4 of 204 results
Sort by: relevance publication year
Elementary Proof of Strong Normalization for Atomic F JOURNAL ARTICLE published 30 March 2016 in Bulletin of the Section of Logic |
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation JOURNAL ARTICLE published 30 June 2019 in Bulletin of the Section of Logic |
Towards a Logic of Value and Disagreement via Imprecise Measures JOURNAL ARTICLE published 27 May 2021 in Bulletin of the Section of Logic |
JOURNAL ISSUE published 2017 in Bulletin of the Section of Logic |
Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations JOURNAL ARTICLE published 4 November 2020 in Bulletin of the Section of Logic |
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts JOURNAL ARTICLE published 7 January 2022 in Bulletin of the Section of Logic |
Functional Completeness in CPL via Correspondence Analysis JOURNAL ARTICLE published 30 March 2019 in Bulletin of the Section of Logic |
Fuzzy Sub-Equality Algebras Based on Fuzzy Points JOURNAL ARTICLE published 18 December 2023 in Bulletin of the Section of Logic |
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions JOURNAL ARTICLE published 14 December 2022 in Bulletin of the Section of Logic |
Categorical Abstract Algebraic Logic: Referential π-Institutions JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic |
A Syntactic Proof of the Decidability of First-Order Monadic Logic JOURNAL ARTICLE published 9 February 2024 in Bulletin of the Section of Logic |
The Modelwise Interpolation Property of Semantic Logics JOURNAL ARTICLE published 21 April 2023 in Bulletin of the Section of Logic Research funded by Nemzeti Kutatási Fejlesztési és Innovációs Hivatal (K-134275) | Narodowym Centrum Nauki (2019/34/E/HS1/00044) |
Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena JOURNAL ARTICLE published 28 May 2021 in Bulletin of the Section of Logic |
(L)-Modules JOURNAL ARTICLE published 4 December 2023 in Bulletin of the Section of Logic |
A Variant of Material Connexive Logic JOURNAL ARTICLE published 9 November 2021 in Bulletin of the Section of Logic |
On GE-algebras JOURNAL ARTICLE published 30 August 2020 in Bulletin of the Section of Logic |
Cut Elimination for Extended Sequent Calculi JOURNAL ARTICLE published 25 September 2023 in Bulletin of the Section of Logic |
SUP-Hesitant Fuzzy Interior Ideals in (Gamma)-Semigroups JOURNAL ARTICLE published 24 April 2024 in Bulletin of the Section of Logic |
Equivalential Algebras with Conjunction on Dense Elements JOURNAL ARTICLE published 25 October 2022 in Bulletin of the Section of Logic |
On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2 JOURNAL ARTICLE published 30 December 2017 in Bulletin of the Section of Logic |