default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 80
Volume 80, Number 1, June 2005
- Nuel Belnap:
Under Carnap's Lamp: Flat Pre-semantics. 1-28 - Richard Booth, Eva Richter:
On Revising Fuzzy Belief Bases. 29-61 - Maciej Farulewski:
On Finite Models of the Lambek Calculus. 63-74 - Yutaka Miyazaki:
Some Properties of Orthologics. 75-93 - Witold A. Pogorzelski, Piotr Wojtylak:
A Proof System for Classical Logic. 95-104 - Bozena Staruch, Bogdan Staruch:
First Order Theories for Partial Models. 105-120 - Athanassios Tzouvaras:
Cardinality without Enumeration. 121-141 - Jens Høyrup:
The Shaping of Deduction in Greek Mathematics: A Study in Coginitive History. 143-147
Volume 80, Number 2-3, August 2005
- Heinrich Wansing
, Sergei P. Odintsov, Yaroslav Shramko:
From the Editors. 153-157 - Arnon Avron:
A Non-deterministic View on Non-classical Negations. 159-194 - Michael Beeson, Robert Veroff, Larry Wos:
Double-Negation Elimination in Some Propositional Logics. 195-234 - J. Dunn, Chunlai Zhou:
Negation in the Context of Gaggle Theory. 235-264 - Norihiro Kamide:
Gentzen-Type Methods for Bilattice Negation. 265-289 - Sergei P. Odintsov:
The Class of Extensions of Nelson's Paraconsistent Logic. 291-320 - David Pearce, Agustín Valverde:
A First Order Nonmonotonic Extension of Constructive Logic. 321-346 - Yaroslav Shramko:
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research. 347-367 - Neil Tennant:
Contracting Intuitionistic Theories. 369-391 - Dimiter Vakarelov:
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. 393-430 - Andrzej Wisniewski, Guido Vanackere, Dorota Leszczynska:
Socratic Proofs and Paraconsistency: A Case Study. 431-466
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-07 00:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
