Logic of proofs with substitution

DOI10.1134/S0001434607110260zbMath1147.03033MaRDI QIDQ941919

N. M. Rubtsova

Publication date: 2 September 2008

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

semantic tableaulogic of proofsinternalizationsymbolic semanticssymbolic modelaxiomatics of substitutionfinitely generated reflexive modeltableau of labels

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• Unnamed Item
• The logic of proofs, semantically
• Explicit Provability and Constructive Semantics
• Logic of Proofs and Labels with a Complete Set of Operations
• Negative Operations on Proofs and Labels

This page was built for publication: Logic of proofs with substitution