An operational logic of proofs with positive and negative information

DOI10.1023/A:1005298816666zbMath0947.03077OpenAlexW1517928606MaRDI QIDQ1970597

Duccio Luchi, Franco Montagna

Publication date: 5 November 2000

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005298816666

zbMATH Keywords

proof theoryprovability logiclogic of proofsarithmetical interpretation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Structure of proofs (03F07) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (1)

Obituary: Franco Montagna (1948--2015)

This page was built for publication: An operational logic of proofs with positive and negative information