Bi-intermediate logics of trees and co-trees

DOI10.1016/j.apal.2024.103490MaRDI QIDQ6584961

[[Person:6485323|Author name not available (Why is that?)]], Tommaso Moraschini, Nick Bezhanishvili

Publication date: 8 August 2024

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

local tabularity(bi-)Esakia spaces(bi-)Heyting slgebras(bi-)intuitionistic logic(co-)trees

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Stone spaces (Boolean spaces) and related structures (06E15) Ordered topological structures (06F30) Equational classes, universal algebra in model theory (03C05) Intermediate logics (03B55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Forbidden configurations and subframe varieties
• Bi-simulating in bi-intuitionistic logic
• Heyting algebras with dual pseudocomplementation
• Categories in continuum physics. Lectures given at a Workshop held at SUNY, Buffalo (New York) 1982
• Subdirectly irreducible double Heyting algebras
• A subdirectly irreducible double Heyting algebra which is not simple
• Varieties with equationally definable principal congruences
• Applications of Kripke models to Heyting-Brouwer logic
• On logics with coimplication
• Relative congruence formulas and decompositions in quasivarieties
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• Locally finite varieties.
• On the structure of varieties with equationally definable principal congruences. I
• A formalization of the propositional calculus of H-B logic
• Bi-Heyting algebras, toposes and modalities
• A note on the congruence extension property
• Discriminator varieties of double-Heyting algebras
• Topos-based logic for quantum systems and bi-Heyting algebras
• A propositional calculus with denumerable matrix
• Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
• Bitopological duality for distributive lattices and Heyting algebras
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Algebraizable logics
• A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
• Inconsistency lemmas in algebraic logic
• Logic with truth values in A linearly ordered heyting algebra
• Free L-algebras
• Equational Bases and Nonmodular Lattice Varieties
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• The algebraic significance of weak excluded middle laws

This page was built for publication: Bi-intermediate logics of trees and co-trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6584961)