Propositional logic for topology-like matrices: A calculus with restricted substitution

DOI10.1007/BF02124802zbMath0414.03012MaRDI QIDQ599051

Thomas M. Leschine

Publication date: 1978

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

calculus with restricted substitutionKleene's axiom schemesmany-valued propositional calculuspseudo Boolean algebratopology-like matrices

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)

Cites Work

• An algebraic approach to non-classical logics
• Matrix approach in methodology of sentential calculi
• Unnamed Item
• Unnamed Item

This page was built for publication: Propositional logic for topology-like matrices: A calculus with restricted substitution