The Rule of Existential Generalisation and Explicit Substitution

DOI10.12775/LLP.2021.011OpenAlexW3203106845MaRDI QIDQ5066098

Jiří Raclavský

Publication date: 29 March 2022

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2021.011

zbMATH Keywords

explicit substitutionhyperintensional logicquantifying inexistential generalisationnatural deduction in sequent style

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Uses Software

• Pesca

Cites Work

• Transparent quantification into hyperintensional objectual attitudes
• First-order intensional logic
• Natural deduction, hybrid systems and modal logics
• Indiscernibility of identicals
• Hyperintensional logic
• Impossible possible worlds vindicated
• Towards a more general concept of inference
• Validity concepts in proof-theoretic semantics
• General semantics
• Existential Import and Relations of Categorical and Modal Categorical Statements
• The logic of temporal discourse
• Explicit substitutions
• Explicating the Notion of Truth Within Transparent Intensional Logic
• Modal Logic as Metaphysics
• A partial functions version of Church's simple theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item