scientific article; zbMATH DE number 1867298
From MaRDI portal
Publication:4793386
zbMath1021.03508MaRDI QIDQ4793386
Edgar Morscher, Peter M. Simons
Publication date: 21 October 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)
Related Items (9)
A state-of-affairs-semantic solution to the problem of extensionality in free logic ⋮ Proof-theory and semantics for a theory of definite descriptions ⋮ A sequent calculus for a negative free logic ⋮ Category theory in Isabelle/HOL as a basis for meta-logical investigation ⋮ Fuzzy free logic with dual domain semantics ⋮ Names and quantifiers: bringing them together in classical logic ⋮ Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic ⋮ States of Affairs as Structured Extensions in Free Logic ⋮ A binary quantifier for definite descriptions for cut free free logics
This page was built for publication:
