scientific article; zbMATH DE number 1749197

MaRDI QIDQ4532198zbMATH OpenFDO

Authors Karel Lambert

Publication date 10 July 2002

zbMATH Keywords

definite descriptionsexistential importfree logicsurvey

Mathematics Subject Classification ID

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

Recommendations

• Free logics: a survey
• scientific article; zbMATH DE number 883824
• Free logic and the concept of existence
• Jaśkowski's universally free logic
• Denotation and description in free logic*

Cited in

(38)

• Truth values, neither-true-nor-false, and supervaluations
• A basic free logic
• Strict Fregean free logic
• Proto-semantics for positive free logic
• A free logic with simple and complex predicates
• Free logics are cut-free
• Jaśkowski's universally free logic
• State-of-affairs semantics for positive free logic
• Free logic and the concept of existence
• A logic for deontic dilemmas
• Neutral free logic: motivation, proof theory and models
• On dialogues and ontology, the dialogical approach to free logic
• scientific article; zbMATH DE number 107641 (Why is no real title available?)
• Free Logic, Description, and Virtual Classes
• scientific article; zbMATH DE number 1337625 (Why is no real title available?)
• Logic and ontological pluralism
• Free logics: a survey
• scientific article; zbMATH DE number 1870124 (Why is no real title available?)
• scientific article; zbMATH DE number 1867305 (Why is no real title available?)
• scientific article; zbMATH DE number 1867306 (Why is no real title available?)
• Free Logic
• Denotation and description in free logic*
• scientific article; zbMATH DE number 883824 (Why is no real title available?)
• States of affairs as structured extensions in free logic
• Free logic and the quantified argument calculus
• PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
• scientific article; zbMATH DE number 6742170 (Why is no real title available?)
• Logic-Free Reasoning in Isabelle/Isar
• Coordinate-free logic
• Names and quantifiers: bringing them together in classical logic
• A sequent calculus for a negative free logic
• Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding
• Free logic. A generalization (to appear)
• A 3-valued predicate logic based on open-ended classes
• Confused terms in ordinary language
• Incomplete assertions
• A more unified approach to free logics
• A state-of-affairs-semantic solution to the problem of extensionality in free logic

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