Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogica Universalis, Volume 8
Volume 8, Number 1, March 2014
- Arnon Avron:
The Classical Constraint on Relevance. 1-15 - Daniele Mundici:
Universal Properties of Łukasiewicz Consequence. 17-24 - Sara Negri:
Proofs and Countermodels in Non-Classical Logics. 25-60 - Ivo Pezlar
:
Towards a More General Concept of Inference. 61-81 - Alexei Y. Muravitsky:
Beyond Rasiowan Systems: Unital Deductive Systems. 83-102 - Eduardo Bonelli, Gabriela Steren:
Hypothetical Logic of Proofs. 103-140
Volume 8, Number 2, June 2014
- Katalin Bimbó, J. Michael Dunn:
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ for Implicational Ticket Entailment. 141-164 - Thomas Macaulay Ferguson:
On Non-Deterministic Quantification. 165-191 - Karin U. Katz, Mikhail G. Katz, Taras S. Kudryk:
Toward a Clarity of the Extreme Value Theorem. 193-214 - Nissim Francez:
Harmony in Multiple-Conclusion Natural-Deduction. 215-259 - Olivia Caramello:
Fraïssé's Construction from a Topos-Theoretic Perspective. 261-281
Volume 8, Numbers 3-4, December 2014
- Jean-Yves Béziau:
Preface: Scope of Logic Theorems In Memoriam Adolf Lindenbaum. 283-284 - Jan Zygmunt, Robert Purdy:
Adolf Lindenbaum: Notes on his Life, with Bibliography and Selected References. 285-320 - René Gazzari:
Direct Proofs of Lindenbaum Conditionals. 321-343 - Nathanael Leedom Ackerman:
On Transferring Model Theoretic Theorems of \({\mathcal{L}_{{\infty}, \omega}}\) in the Category of Sets to a Fixed Grothendieck Topos. 345-391 - Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki:
The Institution-Theoretic Scope of Logic Theorems. 393-406 - Marcelo E. Coniglio, Newton Marques Peron:
Dugundji's Theorem Revisited. 407-422 - João Rasga, Cristina Sernadas, Amílcar Sernadas:
Craig Interpolation in the Presence of Unreliable Connectives. 423-446 - Roy T. Cook:
There is No Paradox of Logical Validity. 447-467 - Daniel Gâinâ:
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally. 469-498 - Bernd Buldt:
The Scope of Gödel's First Incompleteness Theorem. 499-552
a service of 
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 2024-04-19 19:20 CEST 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:
