scientific article; zbMATH DE number 1749197

zbMath1003.03009MaRDI QIDQ4532198

Karel Lambert

Publication date: 10 July 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

surveyfree logicdefinite descriptionsexistential import

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (11)

A more unified approach to free logics ⋮ A sequent calculus for a negative free logic ⋮ Names and quantifiers: bringing them together in classical logic ⋮ Logic and ontological pluralism ⋮ Neutral free logic: motivation, proof theory and models ⋮ State-of-affairs semantics for positive free logic ⋮ PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS ⋮ Truth values, neither-true-nor-false, and supervaluations ⋮ Confused terms in ordinary language ⋮ A logic for deontic dilemmas ⋮ States of Affairs as Structured Extensions in Free Logic

This page was built for publication: