nopeJun 25, 2023
Logic In Action
(2016) : van Benthem, Johan et al
url: http://logicinaction.org/
#validity_testing #reasoning #propositional_logic #action #computation #logic #inference #semantics #my_bibtex
Christophe Rigon / Soto²Jun 14, 2023

[Dealing with Paradoxes] NEW stuff 🤥, good psychedelic one! 🤯✨

A physicalist view/pill: Order from Noise & Noise from Order. (👇 and then 👆)

https://twitter.com/SebastjanVoros/status/1668892400284991489

#paradox #logic #formal_logic #propositional_logic #binary_logic #rationality_crisis #psychedelics 👽

Sebastjan Vörös on Twitter

“"Here islands of great order coexist with surroundings of even greater disorder. - Is that a metaphor you can live with?" 3/3”

Twitter
nopeMar 27, 2023
Introduction to Logic
(2013) : Genesereth, Michal Kao, Eric
DOI: https://doi.org/10.2200/S00518ED2V01Y201306CSL006
#propositional_logic #proof #logic #relational_logic #text_book #induction #satisfiability #resolution #my_bibtex
nopeAug 18, 2022
Logic In Action
(2016) : Johan van Benthem and Hans van Ditmarsch and Jan van Eijck and Jan Jaspars
url: http://logicinaction.org/
#action #computation #inference #logic #propositional_logic #reasoning #semantics #validity_testing
#my_bibtex
nopeJul 17, 2022
An Introduction to Substrctural Logics
(2000) : Greg Restall
isbn: 0-415-21534-X
#frames #category_theory #propositional_logic #gentzen #substructural_logic #modal_logic
#my_bibtex