Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 12, 2004
Volume 12, Number 1, January 2004
- Claus-Peter Wirth:
Descente Infinie + Deduction. 1-96
Volume 12, Number 2, March 2004
- Peter Bruza
, Dawei Song, Robert McArthur:
Abduction in Semantic Space: Towards a Logic of Discovery. 97-109 - Marcel Crabbé:
On the Notion of Substitution. 111-124 - Alexander Moshe Rabinovich:
Selection and Uniformization in Generalized Product. 125-134 - Chris Fox, Shalom Lappin:
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics. 135-168
Volume 12, Number 3, May 2004
- Massoud Pourmahdian:
The Stable Forking Conjecture in Homogeneous Model Theory. 171-180 - Bernhard Heinemann:
The Hybrid Logic of Linear Set Spaces. 181-198 - Stefano Baratella, Andrea Masini:
A Way of Making World Quantification Explicit. 199-225 - Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò:
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. 227-274
Volume 12, Number 4, July 2004
- C. F. M. Vermeulen:
Axiomatization of a Denotational Semantics for First-order Logic. 277-299 - Vladimir V. Rybakov:
Tabular Logics with no Finite Bases for Inference Rules. 301-311 - George Voutsadakis:
Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic. 313-333
Volume 12, Number 5, September 2004
- Jeff B. Paris:
Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for etatriangel righteta. 345-353 - Eunsuk Yang:
Routely-Meyer Semantics for some weak Boolean Logics, and some Translations. 355-369 - Oliver Ray, Krysia Broda, Alessandra Russo:
A Hybrid Abductive Inductive Proof Procedure. 371-397 - Jan Wolenski:
Polish Logic. 399-428
Volume 12, Number 6, November 2004
- Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano:
Editorial. 431-437 - Raymond M. Smullyan:
An Isomorphism Related to Gödel's Fundamental Operations. 439-445 - Aldo V. Figallo, Paolo Landini, Alicia Ziliani:
Ockham Algebras with Additional Operators. 447-459 - Renato A. Lewin, Marta Sagastume, Pedro Massey:
MV* - Algebras. 461-483 - Renato A. Lewin, Marta Sagastume, Pedro Massey:
Chang's L(stroke)* Logic. 485-497 - Claudia Sanza:
Notes on n x m-valued Lukasiewicz Algebras with Negation. 499-507 - Martín Figallo:
Finite Diagonal-free Two-dimensional Cylindric Algebras. 509-523 - Andreas Bernhard Michael Brunner, Francisco Miraglia:
An Omitting Types Theorem for Sheaves over Topological Spaces. 525-548 - María Fernanda Pallares:
Extending the First Gentzen's Consistency Proof to the Intuitionistic Case. 549-560 - Claudio Pizzi:
Contenability and the Logic of Consequential Implication. 561-579 - Wagner de Campos Sanz:
Relating Intuitionist Negation and Triviality. 581-599 - Lília Ramalho Martins, Ana Teresa C. Martins:
Natural Deduction and Weak Normalization for Full Linear Logic. 601-625 - Paulo A. S. Veloso, Sheila R. M. Veloso:
Functional Interpretation of Logics for 'Generally'. 627-640
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-22 20:03 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:
