An algebraic axiomatization of the Ewald's intuitionistic tense logic

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

Gustavo Pelaitay, Aldo V. Figallo

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic effect algebras and their representations
• Dynamic effect algebras
• Title not available (Why is that?)
• Tense operators on basic algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
• Title not available (Why is that?)
• Algebraic axiomatization of tense intuitionistic logic
• Title not available (Why is that?)
• Semilattice structures.
• Title not available (Why is that?)
• Tense operators on De Morgan algebras
• Intuitionistic tense and modal logic
• Title not available (Why is that?)
• Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras
• Tense SHn--algebras
• DISCRETE DUALITY FOR TSH-ALGEBRAS
• Title not available (Why is that?)

Cited In (14)

• Tense operators on distributive lattices with implication
• A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras
• Title not available (Why is that?)
• Algebraic axiomatization of tense intuitionistic logic
• An algebraic study of tense operators on Nelson algebras
• Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
• On the finite model property of weak intuitionistic tense logic
• On Heyting algebras with negative tense operators
• Principal and Boolean congruences on \(IKt\)-algebras
• An axiomatization of ECTL
• Subdirectly irreducible IKt-algebras
• A proof-theoretic approach to negative translations in intuitionistic tense logics
• Intuitionistic propositional logic with Galois negations
• Duality via truth for some fuzzy modal 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)