Discriminant Structures Associated to Matrix Semantics

• Autores: Carina Murciano, Víctor L. Fernández
• Localización: Revista Colombiana de Matemáticas, ISSN-e 0034-7426, Vol. 52, Nº. 2, 2018, págs. 185-209
• Idioma: inglés
• DOI: 10.15446/recolma.v52n2.77158
• Títulos paralelos:
  • Estructuras Discriminantes Asociadas a Semánticas Matriciales
• Enlaces
  • Texto completo
• Referencias bibliográficas
  • Carlos Caleiro, Walter Carnielli, Marcelo Coniglio, and Joao Marcos, Two's company: “The humbug of many logical values”, In Logica Universalis...
  • Carlos Caleiro, Joao Marcos, and Marco Volpe, Bivalent semantics, generalized compositionaly and analytic classic-like tableaux for finite-valued...
  • Janusz Czelakowski, Protoalgebraic logics, Kluwer Academic Publishers, Dordrecht, 2001.
  • Víctor Fernández, Society semantics for n-valued logics (in portuguese), Master's thesis, UNICAMP, Campinas, Brazil, june 2001.
  • Víctor Fernández and Carina Murciano, A Generalization of Twist-Structures Semantics for n-valued logics, CLE e-prints 13 (1), 2013 (available...
  • Manuel Fidel, An Algebraic Study of a Propositional System of Nelson, Proceedings of the First Brazilian Conference on Mathematical Logic...
  • Sergei Odintsov, Algebraic Semantics for Paraconsistent Nelson's logic, Journal of Logic and Computation 13 (2003), 453–468.
  • Fernando Ramos and Víctor Fernández, Twist - Structures Semantics for the Logics of the Hierarchy InPk, Journal of Applied Non-Classical Logics...
  • Umberto Rivieccio, Implicative Twist-Structures, Algebra Universalis 71 (2014), 155–186.
  • Antonio Sette, On the Propositional Calculus P1, Mathematica Japonicae 18 (1973), 173–180.
  • Antonio Sette and Walter Carnielli, Maximal weakly-intuitionistic logics, Studia Logica 55 (1995), 181–203.
  • Timothy Smiley, The Independence of Connectives, The Journal of Symbolic Logic 27 (1962), 426–436.
  • Roman Suszko, The Fregean axiom and Polish Mathematical Logic in the 1920’s, Studia Logica 36 (1977), 373–380.
  • Alasdair Urquhart, A Finite Matrix whose consequence relation is not finitely axiomatizable, Reports on Mathematical Logic 9 (1977), 71–73.
  • Dimiter Vakarelov, Notes on N-lattices and Constructive Logic with Strong Negation, Studia Logica 36 (1977), 109–125.
  • Ryszard Wójcicki, Referential Matrix Semantics for Propositional Calculi, Bulletin of the Section of Logic 8 (1979), 170–176.