The conservativity of \textit{many}: split scope and \textit{most}
From MaRDI portal
Publication:1992018
DOI10.1007/S11245-017-9477-5zbMATH Open1398.03033OpenAlexW2764158161MaRDI QIDQ1992018FDOQ1992018
Authors: Maribel Romero
Publication date: 2 November 2018
Published in: Topoi (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11245-017-9477-5
Recommendations
- Advanced modalizing \textit{de dicto} and \textit{de re}
- The \textsc{AllDifferent} constraint with precedences
- Nominal unification with letrec and environment-variables
- Some pitfalls of \textsf{LK}-to-\textsf{LJ} translations and how to avoid them
- Embedding \textit{if and only if}
- Correctness of Copy in Calculi with Letrec
Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)
Cites Work
Cited In (1)
This page was built for publication: The conservativity of \textit{many}: split scope and \textit{most}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1992018)