Skip to main navigation
Skip to search
Skip to main content
University of Haifa Home
Update your profile
Link opens in a new tab
Search content at University of Haifa
Home
Researchers
Research units
Research output
Finite-valued semantics for canonical labelled calculi
Matthias Baaz
, Ori Lahav
,
Anna Zamansky
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Finite-valued semantics for canonical labelled calculi'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Analyticity
25%
Calculus
25%
Cut-admissibility
25%
Finite-valued
100%
Labelled Sequent Calculus
100%
Large Families
25%
Modular Method
25%
Non-deterministic Matrices
25%
Paraconsistent Logic
25%
Semantic Criteria
25%
Sequent Calculus
25%
Syntactic Properties
25%
Uniform Method
25%
Computer Science
Semantic Criterion
100%
Syntactics
100%