scientific article; zbMATH DE number 3790396

MaRDI QIDQ3967510zbMATH OpenFDO

Authors Hugues Leblanc

Publication date 1982

zbMATH Keywords

existencefirst order quantification calculiGentzen's sequentsintuitionist and classical logicprovabilitysecond-order logicstruthtruth- value semantics

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75) Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Classical first-order logic (03B10)

Cited in

(2)

• The semantics of entailment omega
• Near-equational and equational systems of logic for partial functions. I

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3967510)