Back to Results
First PageMeta Content
Sequent / Intuitionistic logic / Method of analytic tableaux / Monotonicity of entailment / Proof calculus / Rule of inference / Proof procedure / Modal logic / Natural deduction / Logic / Mathematical logic / Proof theory


The Inverse Method for Many-Valued Logics? Laura Kov´ acs1 , Andrei Mantsivoda2 , and Andrei Voronkov3 1 Chalmers University of Technology
Add to Reading List

Document Date: 2013-12-12 08:24:41

Open Document

File Size: 274,73 KB

Share Result on Facebook

Company

J We / /

Facility

Chalmers University of Technology / Irkutsk State University / The University of Manchester Abstract / /

IndustryTerm

proof systems / proof-search algorithm / inverse proof search / bottom-up proof-search / /

OperatingSystem

Sequent / /

Organization

Irkutsk State University / University of Manchester Abstract / Chalmers University of Technology / /

Person

Laura Kov / Ai / /

Technology

proof-search algorithm / simulation / /

SocialTag