default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl9.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Anderson68,
author = {Michael Anderson},
title = {Approximation to a decision procedure for the halting problem},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {305--312},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893516},
doi = {10.1305/NDJFL/1093893516},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Anderson68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Ashworth68,
author = {Earline Jennifer Ashworth},
title = {Propositional logic in the sixteenth and early seventeenth centuries},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {2},
pages = {179--192},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893415},
doi = {10.1305/NDJFL/1093893415},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Ashworth68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Ashworth68a,
author = {Earline Jennifer Ashworth},
title = {Petrus Fonseca and material implication},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {3},
pages = {227--228},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893458},
doi = {10.1305/NDJFL/1093893458},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Ashworth68a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Barbo68,
author = {Francesca Rivetti Barb{\`{o}}},
title = {A philosophical remark on G{\"{o}}del's unprovability of consistency
proof},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {1},
pages = {67--74},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893353},
doi = {10.1305/NDJFL/1093893353},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Barbo68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bloom68,
author = {Stephen L. Bloom},
title = {A note on the arithmetical hierarchy},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {1},
pages = {89--91},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893357},
doi = {10.1305/NDJFL/1093893357},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bloom68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Canty68,
author = {John Thomas Canty},
title = {On symbolizing singulary {S5} functions},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {340--342},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893521},
doi = {10.1305/NDJFL/1093893521},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Canty68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CarnesW68,
author = {Robert D. Carnes and
William C. Wilcox},
title = {An infixed, punctuation-free notation},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {2},
pages = {171--178},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893414},
doi = {10.1305/NDJFL/1093893414},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/CarnesW68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Carpentier68,
author = {M. Adrian Carpentier},
title = {Creative sequences and double sequences},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {1},
pages = {35--61},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893351},
doi = {10.1305/NDJFL/1093893351},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Carpentier68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Chandler68,
author = {Hugh S. Chandler},
title = {Logical continuity},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {325--328},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893518},
doi = {10.1305/NDJFL/1093893518},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Chandler68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Chang68,
author = {Chung{-}ying Chang},
title = {On explanation of number progression},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {329--334},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893519},
doi = {10.1305/NDJFL/1093893519},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Chang68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cole68,
author = {Richard Cole},
title = {Definitional Boolean calculi},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {343--350},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893522},
doi = {10.1305/NDJFL/1093893522},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cole68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Coppotelli68,
author = {Fred Coppotelli},
title = {A first order type theory for the theory of sets},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {367--370},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893525},
doi = {10.1305/NDJFL/1093893525},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Coppotelli68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cresswell68,
author = {Max J. Cresswell},
title = {Some proofs of relative completeness in modal logic},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {1},
pages = {62--66},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893352},
doi = {10.1305/NDJFL/1093893352},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cresswell68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cresswell68a,
author = {Max J. Cresswell},
title = {Completeness without the Barcan formula},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {1},
pages = {75--80},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893354},
doi = {10.1305/NDJFL/1093893354},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cresswell68a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Enderton68,
author = {Herbert B. Enderton},
title = {On provable recursive functions},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {1},
pages = {86--88},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893356},
doi = {10.1305/NDJFL/1093893356},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Enderton68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goddard68,
author = {Leonard Goddard},
title = {Towards a logic of significance},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {3},
pages = {233--264},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893460},
doi = {10.1305/NDJFL/1093893460},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goddard68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kearns68,
author = {John T. Kearns},
title = {The logical concept of existence},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {313--324},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893517},
doi = {10.1305/NDJFL/1093893517},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kearns68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Larouche68,
author = {Laurent Larouche},
title = {Examination of the axiomatic foundations of a theory of change. {I}},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {371--384},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893526},
doi = {10.1305/NDJFL/1093893526},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Larouche68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Leblanc68,
author = {Hugues Leblanc},
title = {Syntactically free, semantically bound. {A} note on variables},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {2},
pages = {167--170},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893413},
doi = {10.1305/NDJFL/1093893413},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Leblanc68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Loewen68,
author = {Kenneth Loewen},
title = {Modified strong reduction in combinatory logic},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {3},
pages = {265--270},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893461},
doi = {10.1305/NDJFL/1093893461},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Loewen68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Loewen68a,
author = {Kenneth Loewen},
title = {A standardization theorem for strong reduction},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {3},
pages = {271--283},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893462},
doi = {10.1305/NDJFL/1093893462},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Loewen68a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Loewen68b,
author = {Kenneth Loewen},
title = {The Church Rosser theorem for strong reduction in combinatory logic},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {299--302},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893514},
doi = {10.1305/NDJFL/1093893514},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Loewen68b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Massey68,
author = {Gerald J. Massey},
title = {Normal form generation of {S5} functions via truth functions},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {1},
pages = {81--85},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893355},
doi = {10.1305/NDJFL/1093893355},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Massey68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McKay68,
author = {C. G. McKay},
title = {Correction to my paper "Some completeness results for intermediate
propositional logics"},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {388},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893528},
doi = {10.1305/NDJFL/1093893528},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McKay68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MeredithP68,
author = {C. A. Meredith and
A. N. Prior},
title = {Equational logic},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {3},
pages = {212--226},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893457},
doi = {10.1305/NDJFL/1093893457},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/MeredithP68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Raggio68,
author = {Andr{\'{e}}s R. Raggio},
title = {Propositional sequence-calculi for inconsistent systems},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {359--366},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893524},
doi = {10.1305/NDJFL/1093893524},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Raggio68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Reichbach68,
author = {Juliusz Reichbach},
title = {A note on theses of the first-order functional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {335--339},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893520},
doi = {10.1305/NDJFL/1093893520},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Reichbach68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Ristea68,
author = {Tudor Ristea},
title = {On propositional, truth and Boolean functions},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {2},
pages = {160--166},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893412},
doi = {10.1305/NDJFL/1093893412},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Ristea68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Saito68,
author = {Setsuo Saito},
title = {On the Leibnizian modal system},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {1},
pages = {92--96},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893358},
doi = {10.1305/NDJFL/1093893358},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Saito68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schumm68,
author = {George F. Schumm},
title = {A note on the structure of the power set},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {303--304},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893515},
doi = {10.1305/NDJFL/1093893515},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schumm68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Seldin68,
author = {Jonathan P. Seldin},
title = {Note on definitional reductions},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {1},
pages = {4--6},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893348},
doi = {10.1305/NDJFL/1093893348},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Seldin68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sibajiban68,
author = {Sibajiban},
title = {The middle term},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {3},
pages = {229--232},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893459},
doi = {10.1305/NDJFL/1093893459},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sibajiban68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Singletary68,
author = {Wilson E. Singletary},
title = {Results regarding the axiomatization of partial propositional calculi},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {3},
pages = {193--211},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893456},
doi = {10.1305/NDJFL/1093893456},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Singletary68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Suszko68,
author = {Roman Suszko},
title = {Ontology in the \emph{Tractatus} of L. Wittgenstein},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {1},
pages = {7--33},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893349},
doi = {10.1305/NDJFL/1093893349},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Suszko68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas68,
author = {Ivo Thomas},
title = {In memoriam: Edward John Lemmon {(1930} - 1966)},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {1},
pages = {1--3},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893347},
doi = {10.1305/NDJFL/1093893347},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas68a,
author = {Ivo Thomas},
title = {The rule of Peirce},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {1},
pages = {34},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893350},
doi = {10.1305/NDJFL/1093893350},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas68a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tompkins68,
author = {Robert R. Tompkins},
title = {On Kleene's recursive realizability as an interpretation for intuitionistic
elementary number theory},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {289--293},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893512},
doi = {10.1305/NDJFL/1093893512},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Tompkins68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Trew68,
author = {A. Trew},
title = {Incompleteness of a logic of Routley's},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {385--387},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893527},
doi = {10.1305/NDJFL/1093893527},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Trew68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tursman68,
author = {Richard Tursman},
title = {The shortest axioms of the implicational calculus},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {351--358},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893523},
doi = {10.1305/NDJFL/1093893523},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Tursman68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Weingartner68,
author = {Paul Weingartner},
title = {Modal logics with two kinds of necessity and possibility},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {2},
pages = {97--159},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893411},
doi = {10.1305/NDJFL/1093893411},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Weingartner68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/WorksY68,
author = {Chandler Works and
Wolfgang Yourgrau},
title = {Note on duality in propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {3},
pages = {284--288},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893463},
doi = {10.1305/NDJFL/1093893463},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/WorksY68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zeman68,
author = {J. Jay Zeman},
title = {The propostitional calculus {MC} and its modal analog},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {4},
pages = {294--298},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893513},
doi = {10.1305/NDJFL/1093893513},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zeman68.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-10-06 22:19 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:
