default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 13, 2005
Volume 13, Number 1, January 2005
- Walter Alexandre Carnielli, Marcelo E. Coniglio
, Itala M. Loffredo D'Ottaviano:
An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference. 1-3
- Vania Costa, Mario R. F. Benevides:
Reasoning about Knowledge in Asynchronous Distributed Systems. 5-28 - Sheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas:
An Application of Logic Engineering. 29-46 - Klaus-Dieter Schewe, Jose Maria Turull Torres:
A Theory of Local Set Queries. 47-68 - Geiza Maria Hamazaki da Silva, Edward Hermann Haeusler, Paulo A. S. Veloso:
Exploring Computational Contents of Intuitionist Proofs. 69-93 - Michel Ghins:
Can Common Sense Realism be Extended to Theoretical Physics? 95-111 - Décio Krause:
Structures and Structural Realism. 113-126 - Carlos A. Lungarzo:
Many-valued Logics in Classical and Quantum Gates. 127-138 - Osvaldo Pessoa Jr.:
Towards a Modal Logical Treatment of Quantum Physics. 139-147
Volume 13, Number 2, March 2005
- Douglas S. Bridges:
A Weak Constructive Sequential Compactness Property and the Fan Theorem. 151-158 - Robin Hirsch:
The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable. 159-171 - Paulo Mateus, João Rasga, Cristina Sernadas:
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination. 173-199 - M. I. Golovanov, Anna V. Kosheleva, Vladimir V. Rybakov:
Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules. 201-209 - John K. Slaney:
Semipositive LTL with an Uninterpreted Past Operator. 211-229 - John Woods:
Dialectical Considerations on the Logic of Contradiction: Part I. 231-260 - Shunsuke Yatabe:
A note on Hájek, Paris and Shepherdson's theorem. 261-266
Volume 13, Number 3, May 2005
- Tomasz Polacik:
The Unique Intermediate Logic Whose Every Rule is Archetypal. 269-275 - Tarek Sayed Ahmed:
Amalgamation Theorems in Algebraic Logic, an overview. 277-286 - Alasdair Urquhart:
The Complexity of Propositional Proofs with the Substitution Rule. 287-291 - Balder ten Cate, Maarten Marx, Jorge Petrucio Viana:
Hybrid logics with Sahlqvist axioms. 293-300 - Benedikt Löwe, Darko Sarenac:
Cardinal spaces and topological representations of bimodal logics. 301-306 - Nicolas Peltier:
A Resolution Calculus for Shortening Proofs. 307-333 - Paolo Liberatore:
Representability in Default Logic. 335-351
- Xavier Parent:
Reviews: Review of Coherent Systems, by Karl Schlechta, volume 2 of Studies in Logic and Practical Reasoning. Amsterdam: Elsevier, 2004, 447 pp., ISBN: 0-444-51789-8. 353-359
Volume 13, Number 4, July 2005
- Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek:
Editorial. 363 - Arnon Avron, Beata Konikowska:
Multi-valued Calculi for Logics Based on Non-determinism. 365-387 - George Georgescu, Andrei Popescu:
Similarity Convergence in Residuated Structures. 389-413 - Reiner Hähnle:
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages. 415-433 - Petr Hájek:
A non-arithmetical Gödel logic. 435-441 - Carles Noguera, Francesc Esteva, Joan Gispert:
On Some Varieties of MTL-algebras. 443-466 - Ewa Orlowska, Ingrid Rewitzky:
Duality via Truth: Semantic frameworks for lattice-based logics. 467-490
Volume 13, Number 5, September 2005
- Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek:
Editorial. 491 - Amit Banerjee:
A Dynamic Game-theoretic Approach to the Modified Prisoner's Dilemma. 493-502 - Radim Belohlávek, Tatána Funioková, Vilém Vychodil:
Fuzzy Closure Operators with Truth Stressers. 503-513 - Martin Dostál:
On Evolving of Recursive Functions using lambda-abstraction and Higher-order Functions. 515-524 - Siegfried Gottwald:
Mathematical Fuzzy Control. A Survey of Some Recent Results. 525-541 - Stanislav Krajci:
A Generalized Concept Lattice. 543-550 - Vera Kurková:
Neural Network Learning as an Inverse Problem. 551-559 - George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Lukasiewicz Logic: From Proof Systems To Logic Programming. 561-585 - Radim Nedbal:
Relational Databases with Ordered Relations. 587-597 - Vilém Vychodil:
Cut and Weakening in Fuzzy Horn Logic. 599-609
Volume 13, Number 6, November 2005
- Walter Alexandre Carnielli, Paulo Mateus:
Editorial. 611-614 - Rosalie Iemhoff, Dick De Jongh, Chunlai Zhou:
Properties of Intuitionistic Provability and Preservativity Logics. 615-636 - Carlos Caleiro, Luca Viganò, David A. Basin:
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis. 637-663 - Vania Costa, Mario R. F. Benevides:
Formalizing Concurrent Common Knowledge as Product of Modal Logics. 665-684 - Joseph A. Goguen:
Data, Schema, Ontology and Logic Integration. 685-715 - Paulo A. S. Veloso, Sheila R. M. Veloso:
On 'Most' and 'Representative': Filter Logic and Special Predicates. 717-728
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 2026-08-29 00:18 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
