XIV Latin American Symposium on Mathematical Logic (SLALM)
From MaRDI portal
Publication:3398618
DOI10.2178/bsl/1246453979zbMath1170.03306OpenAlexW2495391509MaRDI QIDQ3398618
No author found.
Publication date: 29 September 2009
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1246453979
Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
- Selfextensional logics with a conjunction
- A universal logic approach to adaptive logics
- On \(n \times m\)-valued Łukasiewicz-Moisil algebras
- Representation of Lukasiewicz algebras by means of ordered Stone spaces
- On alternative geometries, arithmetics, and logics; a tribute to Łukasiewicz
- Free Łukasiewicz and hoop residuation algebras
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Modal logics in the vicinity of S1
- Aristotle's cubes and consequential implication
- On the theory of inconsistent formal systems
- Implications of large-cardinal principles in homotopical localization
- Topological representation for implication algebras
- Unfoldable cardinals and the GCH
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω
- QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
- An algebraic approach to intuitionistic connectives
- Finite Diagonal-free Two-dimensional Cylindric Algebras
- Bridges between Classical and Nonmonotonic Logic
- On the Specification of Sequent Systems
- On Positive Relational Calculi
- On a lemma of Littlewood and Offord
- Conservative translations
- The pleasures of anticipation: Enriching intuitionistic logic
