scientific article; zbMATH DE number 3859090

zbMATH Open0541.03007MaRDI QIDQ3328518FDOQ3328518

Authors: Kenji Ōkita 

Publication date: 1982

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

valuationsPrimitive Logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (1)

• Title not available (Why is that?)

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)