Constructing denumerable matrices strongly adequate for pre-finite logics

DOI10.1007/BF02123380zbMath0312.02022MaRDI QIDQ1219875

Ewa Graczyńska, Andrzej Wroński

Publication date: 1975

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

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items

For Want of an ‘And’: A Puzzle about Non-Conservative Extension, On the degree of complexity of sentential logics. A couple of examples, Finite axiomatization for some intermediate logics, Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic

Cites Work

• A propositional calculus with denumerable matrix
• A series of successive modifications of Peirce's rule
• Unnamed Item
• Unnamed Item
• Unnamed Item