A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domain

DOI10.1002/MALQ.19610070603zbMath0111.00803OpenAlexW2039207476WikidataQ114696448 ScholiaQ114696448MaRDI QIDQ3848184

Theodore Hailperin

Publication date: 1961

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19610070603

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

A calculus for finitely satisfiable formulas with identity ⋮ A sequent calculus for a logic of contingencies ⋮ Paraconsistency in classical logic

This page was built for publication: A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domain