Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/igpl/igpl13.bht:"
download as .bib file
@article{DBLP:journals/igpl/AvronK05,
author = {Arnon Avron and
Beata Konikowska},
title = {Multi-valued Calculi for Logics Based on Non-determinism},
journal = {Log. J. {IGPL}},
volume = {13},
number = {4},
pages = {365--387},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi030},
doi = {10.1093/JIGPAL/JZI030},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AvronK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BaazCGH05,
author = {Matthias Baaz and
Agata Ciabattoni and
Dov M. Gabbay and
Petr H{\'{a}}jek},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {13},
number = {4},
pages = {363},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi029},
doi = {10.1093/JIGPAL/JZI029},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BaazCGH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BaazCGH05a,
author = {Matthias Baaz and
Agata Ciabattoni and
Dov M. Gabbay and
Petr H{\'{a}}jek},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {13},
number = {5},
pages = {491},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi036},
doi = {10.1093/JIGPAL/JZI036},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BaazCGH05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Banerjee05,
author = {Amit Banerjee},
title = {A Dynamic Game-theoretic Approach to the Modified Prisoner's Dilemma},
journal = {Log. J. {IGPL}},
volume = {13},
number = {5},
pages = {493--502},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi037},
doi = {10.1093/JIGPAL/JZI037},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Banerjee05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BelohlavekFV05,
author = {Radim Belohl{\'{a}}vek and
Tat{\'{a}}na Funiokov{\'{a}} and
Vil{\'{e}}m Vychodil},
title = {Fuzzy Closure Operators with Truth Stressers},
journal = {Log. J. {IGPL}},
volume = {13},
number = {5},
pages = {503--513},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi038},
doi = {10.1093/JIGPAL/JZI038},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BelohlavekFV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Bridges05,
author = {Douglas S. Bridges},
title = {A Weak Constructive Sequential Compactness Property and the Fan Theorem},
journal = {Log. J. {IGPL}},
volume = {13},
number = {2},
pages = {151--158},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi011},
doi = {10.1093/JIGPAL/JZI011},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Bridges05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CaleiroVB05,
author = {Carlos Caleiro and
Luca Vigan{\`{o}} and
David A. Basin},
title = {Relating Strand Spaces and Distributed Temporal Logic for Security
Protocol Analysis},
journal = {Log. J. {IGPL}},
volume = {13},
number = {6},
pages = {637--663},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi048},
doi = {10.1093/JIGPAL/JZI048},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CaleiroVB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CarnielliCD05,
author = {Walter Alexandre Carnielli and
Marcelo E. Coniglio and
Itala M. Loffredo D'Ottaviano},
title = {An Event on Brazilian Logic: Proceedings of the {XIII} Brazilian Logic
Conference},
journal = {Log. J. {IGPL}},
volume = {13},
number = {1},
pages = {1--3},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi001},
doi = {10.1093/JIGPAL/JZI001},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CarnielliCD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CarnielliM05,
author = {Walter Alexandre Carnielli and
Paulo Mateus},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {13},
number = {6},
pages = {611--614},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi046},
doi = {10.1093/JIGPAL/JZI046},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CarnielliM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CateMV05,
author = {Balder ten Cate and
Maarten Marx and
Jorge Petrucio Viana},
title = {Hybrid logics with Sahlqvist axioms},
journal = {Log. J. {IGPL}},
volume = {13},
number = {3},
pages = {293--300},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi024},
doi = {10.1093/JIGPAL/JZI024},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CateMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CostaB05,
author = {Vania Costa and
Mario R. F. Benevides},
title = {Reasoning about Knowledge in Asynchronous Distributed Systems},
journal = {Log. J. {IGPL}},
volume = {13},
number = {1},
pages = {5--28},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi002},
doi = {10.1093/JIGPAL/JZI002},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CostaB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CostaB05a,
author = {Vania Costa and
Mario R. F. Benevides},
title = {Formalizing Concurrent Common Knowledge as Product of Modal Logics},
journal = {Log. J. {IGPL}},
volume = {13},
number = {6},
pages = {665--684},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi049},
doi = {10.1093/JIGPAL/JZI049},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CostaB05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Dostal05,
author = {Martin Dost{\'{a}}l},
title = {On Evolving of Recursive Functions using lambda-abstraction and Higher-order
Functions},
journal = {Log. J. {IGPL}},
volume = {13},
number = {5},
pages = {515--524},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi039},
doi = {10.1093/JIGPAL/JZI039},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Dostal05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GeorgescuP05,
author = {George Georgescu and
Andrei Popescu},
title = {Similarity Convergence in Residuated Structures},
journal = {Log. J. {IGPL}},
volume = {13},
number = {4},
pages = {389--413},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi031},
doi = {10.1093/JIGPAL/JZI031},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GeorgescuP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ghins05,
author = {Michel Ghins},
title = {Can Common Sense Realism be Extended to Theoretical Physics?},
journal = {Log. J. {IGPL}},
volume = {13},
number = {1},
pages = {95--111},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi006},
doi = {10.1093/JIGPAL/JZI006},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Ghins05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Goguen05,
author = {Joseph A. Goguen},
title = {Data, Schema, Ontology and Logic Integration},
journal = {Log. J. {IGPL}},
volume = {13},
number = {6},
pages = {685--715},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi050},
doi = {10.1093/JIGPAL/JZI050},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Goguen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GolovanovKR05,
author = {M. I. Golovanov and
Anna V. Kosheleva and
Vladimir V. Rybakov},
title = {Logic of Visibility, Perception, and Knowledge and Admissible Inference
Rules},
journal = {Log. J. {IGPL}},
volume = {13},
number = {2},
pages = {201--209},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi014},
doi = {10.1093/JIGPAL/JZI014},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GolovanovKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Gottwald05,
author = {Siegfried Gottwald},
title = {Mathematical Fuzzy Control. {A} Survey of Some Recent Results},
journal = {Log. J. {IGPL}},
volume = {13},
number = {5},
pages = {525--541},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi040},
doi = {10.1093/JIGPAL/JZI040},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Gottwald05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hahnle05,
author = {Reiner H{\"{a}}hnle},
title = {Many-Valued Logic, Partiality, and Abstraction in Formal Specification
Languages},
journal = {Log. J. {IGPL}},
volume = {13},
number = {4},
pages = {415--433},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi032},
doi = {10.1093/JIGPAL/JZI032},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hahnle05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hajek05,
author = {Petr H{\'{a}}jek},
title = {A non-arithmetical G{\"{o}}del logic},
journal = {Log. J. {IGPL}},
volume = {13},
number = {4},
pages = {435--441},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi033},
doi = {10.1093/JIGPAL/JZI033},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hajek05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hirsch05,
author = {Robin Hirsch},
title = {The Class of Representable Ordered Monoids has a Recursively Enumerable,
Universal Axiomatisation but it is Not Finitely Axiomatisable},
journal = {Log. J. {IGPL}},
volume = {13},
number = {2},
pages = {159--171},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi012},
doi = {10.1093/JIGPAL/JZI012},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hirsch05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/IemhoffJZ05,
author = {Rosalie Iemhoff and
Dick De Jongh and
Chunlai Zhou},
title = {Properties of Intuitionistic Provability and Preservativity Logics},
journal = {Log. J. {IGPL}},
volume = {13},
number = {6},
pages = {615--636},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi047},
doi = {10.1093/JIGPAL/JZI047},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/IemhoffJZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Krajci05,
author = {Stanislav Krajci},
title = {A Generalized Concept Lattice},
journal = {Log. J. {IGPL}},
volume = {13},
number = {5},
pages = {543--550},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi045},
doi = {10.1093/JIGPAL/JZI045},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Krajci05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Krause05,
author = {D{\'{e}}cio Krause},
title = {Structures and Structural Realism},
journal = {Log. J. {IGPL}},
volume = {13},
number = {1},
pages = {113--126},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi007},
doi = {10.1093/JIGPAL/JZI007},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Krause05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kurkova05,
author = {Vera Kurkov{\'{a}}},
title = {Neural Network Learning as an Inverse Problem},
journal = {Log. J. {IGPL}},
volume = {13},
number = {5},
pages = {551--559},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi041},
doi = {10.1093/JIGPAL/JZI041},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kurkova05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Liberatore05,
author = {Paolo Liberatore},
title = {Representability in Default Logic},
journal = {Log. J. {IGPL}},
volume = {13},
number = {3},
pages = {335--351},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi028},
doi = {10.1093/JIGPAL/JZI028},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Liberatore05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/LoweS05,
author = {Benedikt L{\"{o}}we and
Darko Sarenac},
title = {Cardinal spaces and topological representations of bimodal logics},
journal = {Log. J. {IGPL}},
volume = {13},
number = {3},
pages = {301--306},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi025},
doi = {10.1093/JIGPAL/JZI025},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/LoweS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Lungarzo05,
author = {Carlos A. Lungarzo},
title = {Many-valued Logics in Classical and Quantum Gates},
journal = {Log. J. {IGPL}},
volume = {13},
number = {1},
pages = {127--138},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi008},
doi = {10.1093/JIGPAL/JZI008},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Lungarzo05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MateusRS05,
author = {Paulo Mateus and
Jo{\~{a}}o Rasga and
Cristina Sernadas},
title = {Modal Sequent Calculi Labelled with Truth Values: Cut Elimination},
journal = {Log. J. {IGPL}},
volume = {13},
number = {2},
pages = {173--199},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi013},
doi = {10.1093/JIGPAL/JZI013},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MateusRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MetcalfeOG05,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
title = {Lukasiewicz Logic: From Proof Systems To Logic Programming},
journal = {Log. J. {IGPL}},
volume = {13},
number = {5},
pages = {561--585},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi042},
doi = {10.1093/JIGPAL/JZI042},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/MetcalfeOG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Nedbal05,
author = {Radim Nedbal},
title = {Relational Databases with Ordered Relations},
journal = {Log. J. {IGPL}},
volume = {13},
number = {5},
pages = {587--597},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi043},
doi = {10.1093/JIGPAL/JZI043},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Nedbal05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/NogueraEG05,
author = {Carles Noguera and
Francesc Esteva and
Joan Gispert},
title = {On Some Varieties of MTL-algebras},
journal = {Log. J. {IGPL}},
volume = {13},
number = {4},
pages = {443--466},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi034},
doi = {10.1093/JIGPAL/JZI034},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/NogueraEG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/OrlowskaR05,
author = {Ewa Orlowska and
Ingrid Rewitzky},
title = {Duality via Truth: Semantic frameworks for lattice-based logics},
journal = {Log. J. {IGPL}},
volume = {13},
number = {4},
pages = {467--490},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi035},
doi = {10.1093/JIGPAL/JZI035},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/OrlowskaR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Parent05,
author = {Xavier Parent},
title = {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},
journal = {Log. J. {IGPL}},
volume = {13},
number = {3},
pages = {353--359},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi026},
doi = {10.1093/JIGPAL/JZI026},
timestamp = {Mon, 27 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Parent05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Peltier05,
author = {Nicolas Peltier},
title = {A Resolution Calculus for Shortening Proofs},
journal = {Log. J. {IGPL}},
volume = {13},
number = {3},
pages = {307--333},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi027},
doi = {10.1093/JIGPAL/JZI027},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Peltier05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Pessoa05,
author = {Osvaldo Pessoa Jr.},
title = {Towards a Modal Logical Treatment of Quantum Physics},
journal = {Log. J. {IGPL}},
volume = {13},
number = {1},
pages = {139--147},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi009},
doi = {10.1093/JIGPAL/JZI009},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Pessoa05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Polacik05,
author = {Tomasz Polacik},
title = {The Unique Intermediate Logic Whose Every Rule is Archetypal},
journal = {Log. J. {IGPL}},
volume = {13},
number = {3},
pages = {269--275},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi019},
doi = {10.1093/JIGPAL/JZI019},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Polacik05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Sayed-Ahmed05,
author = {Tarek Sayed Ahmed},
title = {Amalgamation Theorems in Algebraic Logic, an overview},
journal = {Log. J. {IGPL}},
volume = {13},
number = {3},
pages = {277--286},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi020},
doi = {10.1093/JIGPAL/JZI020},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Sayed-Ahmed05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ScheweT05,
author = {Klaus{-}Dieter Schewe and
Jose Maria Turull Torres},
title = {A Theory of Local Set Queries},
journal = {Log. J. {IGPL}},
volume = {13},
number = {1},
pages = {47--68},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi004},
doi = {10.1093/JIGPAL/JZI004},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ScheweT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SilvaHV05,
author = {Geiza Maria Hamazaki da Silva and
Edward Hermann Haeusler and
Paulo A. S. Veloso},
title = {Exploring Computational Contents of Intuitionist Proofs},
journal = {Log. J. {IGPL}},
volume = {13},
number = {1},
pages = {69--93},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi005},
doi = {10.1093/JIGPAL/JZI005},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/SilvaHV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Slaney05,
author = {John K. Slaney},
title = {Semipositive {LTL} with an Uninterpreted Past Operator},
journal = {Log. J. {IGPL}},
volume = {13},
number = {2},
pages = {211--229},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi015},
doi = {10.1093/JIGPAL/JZI015},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Slaney05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Urquhart05,
author = {Alasdair Urquhart},
title = {The Complexity of Propositional Proofs with the Substitution Rule},
journal = {Log. J. {IGPL}},
volume = {13},
number = {3},
pages = {287--291},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi021},
doi = {10.1093/JIGPAL/JZI021},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Urquhart05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/VelosoV05,
author = {Paulo A. S. Veloso and
Sheila R. M. Veloso},
title = {On 'Most' and 'Representative': Filter Logic and Special Predicates},
journal = {Log. J. {IGPL}},
volume = {13},
number = {6},
pages = {717--728},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi051},
doi = {10.1093/JIGPAL/JZI051},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/VelosoV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/VelosoVF05,
author = {Sheila R. M. Veloso and
Paulo A. S. Veloso and
Renata P. de Freitas},
title = {An Application of Logic Engineering},
journal = {Log. J. {IGPL}},
volume = {13},
number = {1},
pages = {29--46},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi003},
doi = {10.1093/JIGPAL/JZI003},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/VelosoVF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Vychodil05,
author = {Vil{\'{e}}m Vychodil},
title = {Cut and Weakening in Fuzzy Horn Logic},
journal = {Log. J. {IGPL}},
volume = {13},
number = {5},
pages = {599--609},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi044},
doi = {10.1093/JIGPAL/JZI044},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Vychodil05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Woods05,
author = {John Woods},
title = {Dialectical Considerations on the Logic of Contradiction: Part {I}},
journal = {Log. J. {IGPL}},
volume = {13},
number = {2},
pages = {231--260},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi016},
doi = {10.1093/JIGPAL/JZI016},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Woods05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Yatabe05,
author = {Shunsuke Yatabe},
title = {A note on H{\'{a}}jek, Paris and Shepherdson's theorem},
journal = {Log. J. {IGPL}},
volume = {13},
number = {2},
pages = {261--266},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi017},
doi = {10.1093/JIGPAL/JZI017},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Yatabe05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-07-09 22:32 CEST from data curated 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:
