scientific article; zbMATH DE number 3859090

MaRDI QIDQ3328518zbMATH OpenFDO

Authors Kenji Ōkita

Publication date 1982

zbMATH Keywords

valuationsPrimitive Logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Reduction of logics to the primitive logic
• A constructive valuation semantics for classical logic
• Pseudo-valuations on pre-logics
• ON THE AXIOMATIZATION OF FINITE-VALUED LOGICAL CALCULI
• On finite-valued propositional logical calculi
• scientific article; zbMATH DE number 3877155
• scientific article; zbMATH DE number 2019914
• A treatise on many-valued logics
• Towards a Behavioral Algebraic Theory of Logical Valuations
• Finitely many-valued logics and natural deduction

Cited in

(1)

• scientific article; zbMATH DE number 3922621 (Why is no real title available?)

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 Q3328518)