scientific article; zbMATH DE number 3542383

MaRDI QIDQ4117804zbMATH OpenFDO

Authors Hugues Leblanc

Publication date 1976

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Cited in

(12)

• Another solution to the problem of theoretical terms
• \(\supset\)E is admissible in ``true relevant arithmetic
• Proto-semantics for positive free logic
• The quantified argument calculus with two- and three-valued truth-valuational semantics
• An extended joint consistency theorem for a family of free modal logics with equality
• The lazy logic of partial terms
• Logic without metaphysics
• An axiomatic approach to the quantified argument calculus
• Truth-value semantics and functional extensions for classical logic of partial terms based on equality
• Quantified modal logic: non-normal worlds and propositional attitudes
• Associative substitutional semantics and quantified modal logic
• A modal view of the semantics of theoretical sentences

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 Q4117804)