New essays in free logic. In honour of Karel Lambert
The articles of this volume will be reviewed individually. Indexed articles: \textit{Morscher, Edgar; Simons, Peter}, Free logic: A fifty-year past and an open future, 1-34 [Zbl 1021.03508] \textit{Lambert, Karel}, Free logic and definite descriptions, 37-47 [Zbl 1024.03005] \textit{Simons, Peter}, Calculi of names: Free and modal, 49-65 [Zbl 1024.03517] \textit{Schweizer, Paul}, Free logic and quantification in syntactic modal contexts, 69-85 [Zbl 1025.03007] \textit{Ghilardi, Silvio}, Substitution, quantifiers and identity in modal logic, 87-115 [Zbl 1013.03007] \textit{Lenzen, Wolfgang}, Free epistemic logic, 117-124 [Zbl 1024.03509] \textit{Barba Escribá, Juan}, Supervaluational free logic and the logic of information growth, 127-146 [Zbl 1025.03020] \textit{Lehmann, Scott}, ``No input, no output logic, 147-155 [Zbl 1012.03504] \textit{Gumb, Raymond D.}, Free logic in program specification and verification, 157-193 [Zbl 1014.03035] \textit{Klima, Gyula}, Existence and reference in medieval logic., 197-226 [Zbl 1167.03300] \textit{Paśniczek, Jacek}, Can Meinongian logic be free?, 227-236 [Zbl 1024.03515] \textit{Lambert, Karel}, Comments, 239-252 [Zbl 1012.03503]
- Reference and perspective in intuitionistic logics
- State-of-affairs semantics for positive free logic
- A sequent calculus for a negative free logic
- Hybrid modal operators for definite descriptions
- On universally free first-order extensions of Belnap-Dunn's four-valued logic and Nelson's paraconsistent logic \(N{4}\)
This page was built for publication: New essays in free logic. In honour of Karel Lambert
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5956947)
