An algebraic axiomatization of the Ewald's intuitionistic tense logic

DOI10.1007/S00500-014-1317-6zbMATH Open1325.03018OpenAlexW2122705115MaRDI QIDQ894527FDOQ894527

Authors Aldo V. Figallo, Gustavo Pelaitay

Publication date 1 December 2015

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00500-014-1317-6

zbMATH Keywords

intuitionistic logicHeyting algebrastense operatorsintuitionistic tense logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Temporal logic (03B44) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• Algebraic axiomatization of tense intuitionistic logic
• Algebraic approach to tense operators
• Remarks on Heyting algebras with tense operators
• Tense operators on \(\mathrm{SH}n\)-algebras
• Dynamic order algebras as an axiomatization of modal and tense logics

Cites work

• scientific article; zbMATH DE number 3142898 (Why is no real title available?)
• scientific article; zbMATH DE number 3931080 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 1416396 (Why is no real title available?)
• scientific article; zbMATH DE number 6028075 (Why is no real title available?)
• scientific article; zbMATH DE number 5241983 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Algebraic axiomatization of tense intuitionistic logic
• Discrete duality for TSH-algebras
• Dynamic effect algebras
• Dynamic effect algebras and their representations
• Intuitionistic tense and modal logic
• Note on tense \(SHn\)-algebras
• Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras
• Remarks on Heyting algebras with tense operators
• Semilattice structures.
• Tense operators on De Morgan algebras
• Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
• Tense operators on basic algebras

Cited in

(16)

• Algebraic axiomatization of tense intuitionistic logic
• Characterizing intermediate tense logics in terms of Galois connections
• On Heyting algebras with negative tense operators
• Tense operators on distributive lattices with implication
• Duality via truth for some fuzzy modal logic
• A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras
• A proof-theoretic approach to negative translations in intuitionistic tense logics
• An algebraic study of tense operators on Nelson algebras
• Remarks on Heyting algebras with tense operators
• Subdirectly irreducible IKt-algebras
• Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
• An axiomatization of ECTL
• scientific article; zbMATH DE number 1882007 (Why is no real title available?)
• Intuitionistic propositional logic with Galois negations
• Principal and Boolean congruences on \(IKt\)-algebras
• On the finite model property of weak intuitionistic tense logic

This page was built for publication: An algebraic axiomatization of the Ewald's intuitionistic tense logic

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