scientific article; zbMATH DE number 895271
From MaRDI portal
Publication:4883282
zbMATH Open0848.03002MaRDI QIDQ4883282FDOQ4883282
Authors: Luís Pinto, Roy Dyckhoff 
Publication date: 27 October 1996
Title of this publication is not available (Why is that?)
Other model constructions (03C30) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cited In (8)
- An evaluation-driven decision procedure for G3i
- Deciding intuitionistic propositional logic via translation into classical logic
- Terminating calculi and countermodels for constructive modal logics
- Intuitionistic Decision Procedures Since Gentzen
- Proofs and countermodels in non-classical logics
- A unified procedure for provability and counter-model generation in minimal implicational logic
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
- Proof-search in type-theoretic languages: An introduction
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4883282)
