OpenAlex | Kripke-type Semantics for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mrow><mml:mi mathvariant="normal">CG</mml:mi></mml:mrow><mml:mrow><mml:mn>3</mml:mn></mml:mrow><mml:mrow><mml:mo>′</mml:mo></mml:mrow></mml:msubsup></mml:math>

Kripke-type Semantics for CG3′

Work

Year: 2016

Type: article

Abstract: In Osorio et al. [Revisiting Z. Notre Dame Journal of Formal Logic, 55(1):129–155, 2014] introduced a paraconsistent three-valued logic, the logic CG3′ which was named after the logic G3′ due to the c... more

Source: Electronic Notes in Theoretical Computer Science

Authors Verónica Borja Macías, Miguel Pérez-Gaspar

Cites: 11

Cited by: 2

Related to: 10

FWCI:

Citation percentile (by year/subfield): 61.7

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Sustainable Development Goal Quality education

Open Access status: gold