A fully logical inductive logic
From MaRDI portal
Publication:807614
DOI10.1305/ndjfl/1093635506zbMath0731.03017OpenAlexW2012960970MaRDI QIDQ807614
Publication date: 1990
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093635506
Related Items
A more unified approach to free logics, Single-domain free logic and the problem of compositionality, The Barcan formulas and necessary existence: the view from quarc, A completeness proof for a regular predicate logic with undefined truth value, Referential opacity and epistemic logic, Confused terms in ordinary language