Tavole semantiche per sistemi astratti di logica estensionale

zbMath0357.02020MaRDI QIDQ1237721

Flavio Previale

Publication date: 1976

Published in: Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=RSMUP_1975__54__31_0

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Intermediate logics (03B55)

Cites Work

• The foundations of mathematics. A study in the philosophy of science
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tavole semantiche per sistemi astratti di logica estensionale