The decomposition calculus and its semantics
From MaRDI portal
Publication:1213431
DOI10.1007/BF02123282zbMath0296.02005OpenAlexW2057821483MaRDI QIDQ1213431
Publication date: 1974
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02123282
Classical first-order logic (03B10) Classical propositional logic (03B05) General logic (03B99) Other classical first-order model theory (03C68)
Cites Work