Search results

temporal logic LTLU 2015-02-12 Paper Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)...

Paper A Generalized Realizability and Intuitionistic Logic 2023-04-05 Paper Generalized Realizability and Basic Logic 2022-12-08 Paper Basic predicate calculus...

constant in intuitionistic propositional logic 1997-06-18 Paper https://portal.mardi4nfdi.de/entity/Q5283966 1997-02-04 Paper The Smetanich logic \(T^ \Phi\)...

2022-08-10 Paper Maximality of bi-intuitionistic propositional logic 2022-02-08 Paper A Lindström theorem in many-valued modal logic over a finite MTL-chain 2021-01-19...

1986-01-01 Paper Intuitionistically provable recursive well-orderings 1986-01-01 Paper On the quantificational logic of intuitionistic set theory 1986-01-01...

Probabilistic Evidence 2017-07-21 Paper The Logic of Justification 2017-04-07 Paper INTUITIONISTIC EPISTEMIC LOGIC 2016-07-29 Paper Binding modalities 2016-04-28...

2015-11-16 Paper Some modal operators over intuitionistic logic 2015-07-28 Paper Composition of an intuitionistic negation and negative modalities as a necessity...

deduction systems for intuitionistic and classical modal logics 2012-07-17 Paper Sequent calculi and decidability for intuitionistic hybrid logic 2012-03-13 Paper...

in intuitionistic logic 2012-10-01 Paper Intuitionistic implication without disjunction 2012-06-20 Paper Jankov’s Theorems for Intermediate Logics in the...

approach to CG′3 logic 2021-01-08 Paper The pursuit of an implication for the logics L3A and L3B 2018-01-12 Paper Revisiting da Costa logic 2016-06-30 Paper...

Categorical Proof Theory of Co-Intuitionistic Linear Logic 2014-09-30 Paper On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP...

2017-07-12 Paper On the Mints Hierarchy in First-Order Intuitionistic Logic 2017-04-11 Paper Intuitionistic games: determinacy, completeness, and normalization...

first-order predicate logic and the weak fan theorem 2015-06-26 Paper An intuitionistic completeness theorem for classical predicate logic 2010-10-15 Paper...

2017-05-17 Paper Intuitionistic Layered Graph Logic 2016-09-05 Paper A logic of separating modalities 2016-06-03 Paper A calculus and logic of bunched resources...

sharpness property of justification logic 2020-08-12 Paper Cut elimination and complexity bounds for intuitionistic epistemic logic 2020-04-29 Paper On the sharpness...

interpolation theorem for intuitionistic logic and extensions Part III 1977-01-01 Paper A new version of Beth semantics for intuitionistic logic 1977-01-01 Paper...

dependency in intuitionistic logic 2020-05-04 Paper Dependency as Question Entailment 2020-02-04 Paper Undefinability in inquisitive logic with tensor 2020-01-30...

systems and topological semantics for intuitionistic temporal logic 2020-02-18 Paper Intuitionistic Linear Temporal Logics 2020-02-14 Paper https://portal.mardi4nfdi...

of intuitionistic pointfree topology 1997-02-27 Paper An Intuitionistic Version of Cantor's Theorem 1997-02-23 Paper Decidability in Intuitionistic Type...

cut-elimination for intuitionistic fuzzy logic via linear nested sequents 2020-05-06 Paper On deriving nested calculi for intuitionistic logics from semantic...