Skip to main navigation
Skip to search
Skip to main content
Utrecht University Home
Help & FAQ
Home
Research output
Search by expertise, name or affiliation
Intuitionistic Rules: Admissible Rules of Intermediate Logics
J.P. Goudsmit
OFR - Theoretical Philosophy
Research output
:
Thesis
›
Doctoral thesis 1 (Research UU / Graduation UU)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Intuitionistic Rules: Admissible Rules of Intermediate Logics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Admissible Rules
100%
Intermediate Logic
100%
Intuitionistic
100%
Projective Formula
33%
Disjunction Property
22%
Unification Type
22%
Admissibility
22%
Complete Semantics
22%
Certain Rules
22%
Exact Model
22%
Finite number
11%
Finitary
11%
Disjunction
11%
Derivability
11%
Eighties
11%
Refutation Systems
11%
Finite Models
11%
Putnam
11%
Kreisel
11%
Countermodels
11%
Finite Model Property
11%
Projectivity
11%
Left Adjoint
11%
Essential Use
11%
Mathematics
Projective
100%
Admissibility
66%
Disjunction Property
66%
Left Adjoint
33%
Decidability
33%
Finite Number
33%
Computer Science
Approximation (Algorithm)
100%
Unification Type
100%
Syntactics
50%
Finite Model Property
50%