default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl30.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Bellissima89,
author = {Fabio Bellissima},
title = {Infinite Sets of Nonequivalent Modalities},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {4},
pages = {574--582},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635240},
doi = {10.1305/NDJFL/1093635240},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bellissima89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Benthem89,
author = {Johan van Benthem},
title = {Notes on Modal Definability},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {1},
pages = {20--35},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093634994},
doi = {10.1305/NDJFL/1093634994},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Benthem89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Benthem89a,
author = {Johan van Benthem},
title = {Logical Constants Across Varying Types},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {3},
pages = {315--342},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635152},
doi = {10.1305/NDJFL/1093635152},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Benthem89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Biro89,
author = {Bal{\'{a}}zs Bir{\'{o}}},
title = {Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite
Dimension},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {2},
pages = {262--267},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635082},
doi = {10.1305/NDJFL/1093635082},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Biro89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BlassS89,
author = {Andreas Blass and
Saharon Shelah},
title = {Near Coherence of Filters {III:} {A} Simplified Consistency Proof},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {4},
pages = {530--538},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635236},
doi = {10.1305/NDJFL/1093635236},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BlassS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Blizard89,
author = {Wayne D. Blizard},
title = {Multiset Theory},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {1},
pages = {36--66},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093634995},
doi = {10.1305/NDJFL/1093634995},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Blizard89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brunner89,
author = {Norbert Brunner},
title = {Set-Mappings on Dedekind Sets},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {2},
pages = {268--270},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635083},
doi = {10.1305/NDJFL/1093635083},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brunner89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bull89,
author = {R. A. Bull},
title = {Correction to "Survey of generalizations of Urquhart semantics"},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {1},
pages = {151--153},
year = {1989},
url = {http://projecteuclid.org/euclid.ndjfl/1093635002},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bull89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Byrd89,
author = {Michael Byrd},
title = {Russell, Logicism, and the Choice of Logical Constants},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {3},
pages = {343--361},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635153},
doi = {10.1305/NDJFL/1093635153},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Byrd89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Canjar89,
author = {R. Michael Canjar},
title = {Cofinalities of Countable Ultraproducts: The Existence Theorem},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {4},
pages = {539--542},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635237},
doi = {10.1305/NDJFL/1093635237},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Canjar89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cegielski89,
author = {Patrick C{\'{e}}gielski},
title = {The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {1},
pages = {138--150},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635001},
doi = {10.1305/NDJFL/1093635001},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cegielski89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Detlefsen89,
author = {Michael Detlefsen},
title = {Introduction},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {3},
pages = {313},
year = {1989},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Detlefsen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Doets89,
author = {Kees Doets},
title = {Monadic {\(\Pi\)}\({}_{\mbox{1}}\)\({}^{\mbox{1}}\)-Theories of {\(\Pi\)}\({}_{\mbox{1}}\)\({}^{\mbox{1}}\)-Properties},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {2},
pages = {224--240},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635080},
doi = {10.1305/NDJFL/1093635080},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Doets89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dosen89,
author = {Kosta Dosen},
title = {Logical Constants as Punctuation Marks},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {3},
pages = {362--381},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635154},
doi = {10.1305/NDJFL/1093635154},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dosen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DudekK89,
author = {J{\'{o}}zef Dudek and
Andrzej Kisielewicz},
title = {On Finite Models of Regular Identities},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {4},
pages = {624--628},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635244},
doi = {10.1305/NDJFL/1093635244},
timestamp = {Fri, 16 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DudekK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dummett89,
author = {Michael Dummett},
title = {More about Thoughts},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {1},
pages = {1--19},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093634993},
doi = {10.1305/NDJFL/1093634993},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dummett89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Englebretsen89,
author = {George Englebretsen},
title = {Formatives},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {3},
pages = {382--389},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635155},
doi = {10.1305/NDJFL/1093635155},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Englebretsen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Garson89,
author = {James W. Garson},
title = {Modularity and Relevant Logic},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {2},
pages = {207--223},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635079},
doi = {10.1305/NDJFL/1093635079},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Garson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Iskander89,
author = {Awad A. Iskander},
title = {An Isomorphism Between Rings and Groups},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {4},
pages = {513--529},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635235},
doi = {10.1305/NDJFL/1093635235},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Iskander89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Johnson89,
author = {Frederick A. Johnson},
title = {Models for Modal Syllogisms},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {2},
pages = {271--284},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635084},
doi = {10.1305/NDJFL/1093635084},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Johnson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kearns89,
author = {John T. Kearns},
title = {Lesniewski's Strategy and Modal Logic},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {2},
pages = {291--307},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635086},
doi = {10.1305/NDJFL/1093635086},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kearns89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/LeblancR89,
author = {Hugues Leblanc and
Peter Roeper},
title = {On Relativizing Kolmogorov's Absolute Probability Functions},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {4},
pages = {485--512},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635234},
doi = {10.1305/NDJFL/1093635234},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/LeblancR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lycan89,
author = {William G. Lycan},
title = {Logical Constants and the Glory of Truth-Conditional Semantics},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {3},
pages = {390--400},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635156},
doi = {10.1305/NDJFL/1093635156},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lycan89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McCarthy89,
author = {Timothy G. McCarthy},
title = {Logical Form and Radical Interpretation},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {3},
pages = {401--419},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635157},
doi = {10.1305/NDJFL/1093635157},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McCarthy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mendelsohn89,
author = {Richard L. Mendelsohn},
title = {Objects and Existence: Reflections on Free Logic},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {4},
pages = {604--623},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635243},
doi = {10.1305/NDJFL/1093635243},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mendelsohn89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Menzel89,
author = {Christopher Menzel},
title = {On an Unsound Proof of the Existence of Possible Worlds},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {4},
pages = {598--603},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635242},
doi = {10.1305/NDJFL/1093635242},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Menzel89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MiglioliMOQU89,
author = {Pierangelo Miglioli and
Ugo Moscato and
Mario Ornaghi and
Silvia Quazza and
Gabriele Usberti},
title = {Some Results on Intermediate Constructive Logics},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {4},
pages = {543--562},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635238},
doi = {10.1305/NDJFL/1093635238},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/MiglioliMOQU89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MiglioliMOU89,
author = {Pierangelo Miglioli and
Ugo Moscato and
Mario Ornaghi and
Gabriele Usberti},
title = {A Constructivism Based on Classical Truth},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {1},
pages = {67--90},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093634996},
doi = {10.1305/NDJFL/1093634996},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/MiglioliMOU89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mints89,
author = {Grigori Mints},
title = {The Completeness of Provable Realizability},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {3},
pages = {420--441},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635158},
doi = {10.1305/NDJFL/1093635158},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mints89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Montagna89,
author = {Franco Montagna},
title = {"Pathologies" in Two Syntactic Categories of Partial Maps},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {1},
pages = {105--116},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093634998},
doi = {10.1305/NDJFL/1093634998},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Montagna89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Morikawa89,
author = {Osamu Morikawa},
title = {Some Modal Logics Based on a Three-Valued Logic},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {1},
pages = {130--137},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635000},
doi = {10.1305/NDJFL/1093635000},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Morikawa89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Owings89,
author = {James C. Owings},
title = {Corrigendum to "Diagonalization and the Recursion Theorem"},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {1},
pages = {153},
year = {1989},
url = {http://projecteuclid.org/euclid.ndjfl/1093635004},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Owings89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Peruzzi89,
author = {Alberto Peruzzi},
title = {The Theory of Descriptions Revisited},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {1},
pages = {91--104},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093634997},
doi = {10.1305/NDJFL/1093634997},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Peruzzi89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sain89,
author = {Ildik{\'{o}} Sain},
title = {An Elementary Proof for Some Semantic Characterizations of Nondeterministic
Floyd-Hoare Logic},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {4},
pages = {563--573},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635239},
doi = {10.1305/NDJFL/1093635239},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sain89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schumm89,
author = {George F. Schumm},
title = {Some Compactness Results for Modal Logic},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {2},
pages = {285--290},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635085},
doi = {10.1305/NDJFL/1093635085},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schumm89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Simons89,
author = {Peter M. Simons},
title = {Combinators and Categorial Grammar},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {2},
pages = {241--261},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635081},
doi = {10.1305/NDJFL/1093635081},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Simons89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Slaney89,
author = {John K. Slaney},
title = {On the Structure of De Morgan Monoids with Corollaries on Relevant
Logic and Theories},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {1},
pages = {117--129},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093634999},
doi = {10.1305/NDJFL/1093634999},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Slaney89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Smith89,
author = {Jan M. Smith},
title = {Propositional Functions and Families of Types},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {3},
pages = {442--458},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635159},
doi = {10.1305/NDJFL/1093635159},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Smith89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/SteinhornT89,
author = {Charles Steinhorn and
Carlo Toffalori},
title = {The Boolean Spectrum of an o-Minimal Theory},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {2},
pages = {197--206},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635078},
doi = {10.1305/NDJFL/1093635078},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/SteinhornT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tennant89,
author = {Neil Tennant},
title = {Truth Table Logic, with a Survey of Embeddability Results},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {3},
pages = {459--484},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635160},
doi = {10.1305/NDJFL/1093635160},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Tennant89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Urbas89,
author = {Igor Urbas},
title = {Paraconsistency and the {\(\mathbb{C}\)}-Systems of da Costa},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {4},
pages = {583--597},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635241},
doi = {10.1305/NDJFL/1093635241},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Urbas89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Visser89,
author = {Albert Visser},
title = {Peano's Smart Children: {A} Provability Logical Study of Systems with
Built-in Consistency},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {2},
pages = {161--196},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635077},
doi = {10.1305/NDJFL/1093635077},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Visser89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-11-26 21:04 CET 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:
