Login / Signup
Carlos A. Agudelo-González
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Classical First Order Logic
Propositional Logic
Valued Semantics
Proof Procedure
Top Venues
J. Appl. Non Class. Logics
</>
Publications
</>
Juan Carlos Agudelo Agudelo
,
Carlos A. Agudelo-González
,
Oscar E. García-Quintero
On polynomial semantics for propositional logics.
J. Appl. Non Class. Logics
26 (2) (2016)