Some results on intermediate constructive logics
From MaRDI portal
Publication:583197
DOI10.1305/ndjfl/1093635238zbMath0692.03014OpenAlexW1968663039MaRDI QIDQ583197
Silvia Quazza, Mario Ornaghi, Gabriele Usberti, Ugo Moscato, Pierangelo Miglioli
Publication date: 1989
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093635238
maximalitysemanticsdisjunction propertysyntaxHeyting propositional calculusintermediate constructive logicsMedvedev's logic of finite problems
Related Items
AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS, A generalization of inquisitive semantics, A method to single out maximal propositional logics with the disjunction property. I, A method to single out maximal propositional logics with the disjunction property. II, Structural completeness in propositional logics of dependence, Propositional lax logic, Inquisitive logic as an epistemic logic of knowing how, Information completeness in Nelson algebras of rough sets induced by quasiorders, Structural completeness and superintuitionistic inquisitive logics, Inquisitive logic, Esakia duals of regular Heyting algebras, Lattices of Intermediate Theories via Ruitenburg's Theorem, The disjunction property of intermediate propositional logics, Proof-theoretic semantics and inquisitive logic, An infinite class of maximal intermediate propositional logics with the disjunction property, On representation of finite pseudo-Boolean algebras and one of its applications, Some modifications of Carnap's modal logic, Inquisitive Heyting algebras, On maximal intermediate predicate constructive logics