Applications of weak Kripke semantics to intermediate consequences

DOI10.1007/BF01881553zbMath0635.03020MaRDI QIDQ1097261

Wolfgang Rautenberg

Publication date: 1986

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

zbMATH Keywords

intermediate logiccompleteness of weak Kripke semantics for intermediate consequencescounterslicesImplicationless fragments

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items

Replacement in logic, A Strange Remark Attributed to Gödel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item