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

[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 👽

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

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

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