scientific article; zbMATH DE number 3448545
From MaRDI portal
Publication:4774021
zbMath0286.02028MaRDI QIDQ4774021
No author found.
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (23)
An Application of the Yankov Characteristic Formulas ⋮ Almost structural completeness; an algebraic approach ⋮ Propositional logics of dependence ⋮ MEREOLOGICAL BIMODAL LOGICS ⋮ AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS ⋮ A generalization of inquisitive semantics ⋮ Inquisitive logic as an epistemic logic of knowing how ⋮ Effectively closed mass problems and intuitionism ⋮ Inquisitive logic ⋮ Cardinality reduction theorem for logics QHC and QH4 ⋮ On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC ⋮ A semantic hierarchy for intuitionistic logic ⋮ Intermediate logics and factors of the Medvedev lattice ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ An infinite class of maximal intermediate propositional logics with the disjunction property ⋮ Some modifications of Carnap's modal logic ⋮ On abstract resource semantics and computability logic ⋮ On the rules of intermediate logics ⋮ Constructive logic and the Medvedev lattice ⋮ The modal logic of Bayesian belief revision ⋮ A Multi-type Calculus for Inquisitive Logic ⋮ On maximal intermediate predicate constructive logics ⋮ WEIHRAUCH GOES BROUWERIAN
This page was built for publication:
