Home on consequently.org
2025 Wendy Huang Lectures
Proof, Rules and Meaning
Must Do “Must Do Better” Better
Type Theory and Themes in Philosophical Logic
Must Do “Must Do Better” Better
What can We Mean? On Practices, Norms and Pluralisms
Modal Logic and Contingent Existence
Modal Logic and Contingent Existence
Modal Logic and Contingent Existence
Modal Logic and Contingent Existence
Modal Logic and Contingent Existence
Mathematical Practice, Proof Assistants and Meaning
Modal Logic and Contingent Existence
Upcoming trip to North America
Proofs with Star and Perp
Defining Rules for Quantifiers and Identity
Books Read: January 2025
Modal Logic and Contingent Existence (Generality and Existence 2)
Books Read: December 2024
Another semester done
What Can We Mean?
Congratulations, John!
Graham Priest is in the house
Podcast recommendation: Marooned on Mars
Books Read: September, October, November 2024
Defining Quantifiers
What Can We Mean? — on practices, norms and pluralism
Generics: Inference & Accommodation
What do calculators tell us about meaning?
PY2010: Intermediate Logic
Books Read: August 2024
Models for Identity in Three-Valued Logics
Books Read: July 2024
Questions, Justification Requests, Inference, and Definition
Substructural Logics
Finitude, Eternity, Love, the Good, and Martin Hägglund’s <em>This Life</em>
Books Read: June 2024
What Do We Mean? Semantics, Practices and Pluralism
What ‘No’ Does
Books Read: May 2024
Proof Theory
A Chinese Translation!
Books Read: April 2024
Natural Deduction Proof for Substructural, Constructive and Classical Logics
Logic (Chinese Translation)
<span class='uncaps'>λμ</span>: Relating Constructive, Classical and Substructural Logics
Proofs, Rules, and Meanings, Arché Workshop
<span class='uncaps'>λμ</span>: Relating Constructive and Classical Logics
Reflections on Brady's Logic of Meaning Containment
Books Read: March 2024
PY4612: Advanced Logic
Collection Frames for Distributive Substructural Logics
The Philosophical Significance of the Paradoxes
Finitude, Eternity, Love, the Good and Martin Hagglünd’s ‘This Life’
The Semantics and Psychology of Negation: The Australian Plan, Negation as Failure, and Card Selection Tasks
The Semantics and Psychology of Negation: The Australian Plan, Negation as Failure, and Card Selection Tasks
PY2010: Intermediate Logic
The Semantics and Psychology of Negation: The Australian Plan, Negation as Failure, and Card Selection Tasks
Finitude, Eternity, Love, the Good and Martin Hagglünd’s ‘This Life’
Looking at Logic(s)
Review of The Contradictory Christ
Exploring Three-Valued Models for Identity
Structural Rules in Natural Deduction with Alternatives
Numbers, the World, and God: Varieties of Semantic Anti-Realism
Proofs for Relevant Consequence, with Star and Perp
Interview with the Undergraduate Philosophy Journal of Australasia
A Brush with Fame
PY4601: Paradoxes
PY1012: Reasoning
Kicking off Semester 2 in St Salvator's Chapel
Come and See! (John 1:29-42)
Erdős Number: 3
Wombat, Conditional, or Inference?
Logical Methods Publication Day
Logical Methods
Time for a little grease and oil change
True Contradictions in Theology?
Natural Deduction with Alternatives: on structural rules, and identifying assumptions
Collection Frames: What, How and Why?
Natural Deduction with Alternatives: on structural rules, and identifying assumptions
PY3100: Reading Philosophy 1—Texts in Language, Logic, Mind, Epistemology, Metaphysics and Science
PY4638: Philosophy of Religion
Classical Logic and Intuitionistic Logic: looking both ways
The Many Uses of Proofs: logic and philosophy, language and more
True Contradictions? Why, and Why Not?
Exploring Three-Valued Models for Identity
A little book on Proofs and Models
Proofs and Models in Philosophical Logic
Natural Deduction with Alternatives: on structural rules, and identifying assumptions
Justification Requests, Inference and Definitions
PY1012: Reasoning
PY4634: Philosophical Logic
Proofs with Star and Perp: pluralism and proofs for different logics
Assertions, Denials, Questions, Answers, and the Common Ground
Worlds: Possible and Impossible
PY3100: Reading Philosophy 1—Texts in Language, Logic, Mind, Epistemology, Metaphysics and Science
PY4612: Advanced Logic
Comparing Rules for Identity in sequent systems and natural deduction
Proofs and Models in Philosophical Logic
Leaving Melbourne
Natural Deduction with Alternatives: on structural rules, and identifying assumptions
Geometric Models for Relevant Logics
Platonism, Nominalism, Realism, Anti-Realism, Reprentationalism, Inferentialism and all that
Comparing Rules for Identity in Sequent Systems and Natural Deduction
PHIL30043: The Power and Limits of Logic
UNIB10002: Logic, Language and Information
An Inferentialist Account of Identity and Modality
Natural Deduction with Alternatives
Speech Acts & the Quest for a Natural Account of Classical Proof
Speech Acts & the Quest for a Natural Account of Classical Proof
Teaching During a Pandemic
PHIL20030: Logical Methods
Notes from a Pandemic
Assertions, Denials, Questions, Answers, and the Common Ground
Proofs and Models in Naive Property Theory: A Response to Hartry Field's “Properties, Propositions and Conditionals”
Geometric Models for Relevant Logics
UNIB10002: Logic, Language and Information
PHIL40013: Uncertainty, Vagueness and Disagreement
PHIL30043: The Power and Limits of Logic
A Place for Logic in the Humanities?
Two Negations are More than One
Generics: Inference & Accommodation
What's So Special About Logic? Practices, Rules and Definitions
Negation on the Australian Plan
Teaching Logical Methods
What's So Special About Logic? Practices, Rules and Definitions
Assertions, Denials, Questions, Answers, and the Common Ground
Collection Frames for Substructural Logics
PHIL20030: Meaning, Possibility and Paradox
PHIL40013: Uncertainty, Vagueness and Disagreement
Assertions, Denials, Questions, Answers, and the Common Ground
Assertions, Denials, Questions, Answers, and the Common Ground
Assertions, Denials, Questions, Answers, and the Common Ground
Isomorphisms in a Category of Proofs
Collection Frames for Substructural Logics
PHIL30043: The Power and Limits of Logic
UNIB10002: Logic, Language and Information
Generality and Existence I: Quantification and Free Logic
Generality and Existence 2: Modality and Quantifiers
Summer Reading 2018-2019
New Work for a (Formal) Theory of Grounds
Truth and Stereotypes
Philosophy in Public
With help from Hugo, GitHub, Netlify, Working Copy and Shortcuts, I might update this website more frequently
Accommodation, Inference, Generics and Pejoratives
Accommodation, Inference, Generics and Pejoratives
Defining Rules, Proofs and Counterexamples
Proof Theory, Rules and Meaning — an introduction
PHIL30043: The Power and Limits of Logic
PHIL20030: Meaning, Possibility and Paradox
What Proofs are For
Isomorphisms in a Category of Proofs
Accommodation, Inference, Generics and Pejoratives
Accommodation, Inference, Generics and Pejoratives
Accommodation, Inference, Generics and Pejoratives
Isomorphisms in a Category of Proofs
Isomorphisms in a Category of Proofs
What Proofs are For
Accommodation, Inference, Generics and Pejoratives
Accommodation, Inference, Generics and Pejoratives
Truth Tellers in Bradwardine's Theory of Truth
Isomorphisms in a Category of Propositions and Proofs
Community (the twelfth of twelve things I love about philosophical logic)
Proof Identity, Aboutness and Meaning
Negation on the Australian Plan
Learning and Teaching (the eleventh of twelve things I love about philosophical logic)
Possibility (the tenth of twelve things I love about philosophical logic)
Necessity (the ninth of twelve things I love about philosophical logic)
Attention (the eighth of twelve things I love about philosophical logic)
Pragmatics (the seventh of twelve things I love about philosophical logic)
Conceptual Expansion (the sixth of twelve things I love about philosophical logic)
The Moment of Recognition (the fifth of twelve things I love about philosophical logic)
Interdisciplinarity (the fourth of twelve things I love about philosophical logic)
Multiple Realisability (the third of twelve things I love about philosophical logic)
Abstraction (the second of twelve things I love about philosophical logic)
The Dialectic (the first of twelve things I love about philosophical logic)
Twelve things I love about philosophical logic
PHIL20030: Meaning, Possibility and Paradox
PHIL40013: Uncertainty, Vagueness and Disagreement
Conditionals in Closed Set Logic
Typesetting Flow Graphs with tikz
A Concrete Category of Classical Proofs
A Category of Classical Proofs
Proof Identity, Invariants and Hyperintensionality
Proof Terms for Classical Derivations
Logical Pluralism: Meaning, Rules and Counterexamples
Fixed Point Models for Theories of Properties and Classes
PHIL30043: The Power and Limits of Logic
UNIB10002: Logic, Language and Information
First Degree Entailment, Symmetry and Paradox
With Gratitude to Raymond Smullyan
A New Paper
Proof Terms for Classical Derivations
Proof Terms as Invariants
A Puzzle for Brandom's Account of Singular Terms
Existence, Definedness and the Semantics of Possibility and Necessity
Existence and Definedness: the semantics of possibility and necessity
Proof Terms are fun
Proofs and what they’re good for
What Proofs and Truthmakers are About
First Degree Entailment, Symmetry and Paradox
PHIL20030: Meaning, Possibility and Paradox
PHIL30043: The Power and Limits of Logic
Proof Theory: Logical and Philosophical Aspects
Proofs and what they’re good for
Terms for Classical Sequents: Proof Invariants and Strong Normalisation
I have a campaign poster on my picket fence
3am Interview on Philosophical Logic
Proofs and what they’re good for
Proofs and what they’re good for
Review of Thomas Piecha and Peter Schroeder-Heister (editors), Advances in Proof-Theoretic Semantics
Advice from Undergraduate Logic Students
Terms for Classical Sequents: Proof Invariants and Strong Normalisation
Terms for Classical Sequents: Proof Invariants and Strong Normalisation
On Priest on Nonmonotonic and Inductive Logic
UNIB10002: Logic, Language and Information
Models for Compatibility
Congratulations to Bruce French, AO
Fixed Point Models for Theories of Properties and Classes
On Priest on nonmonotonic and inductive logic
Generality and Existence 3: Substitution and Identity
Generality and Existence 4: Identity and Modality
Generality and Existence 3: Substitution and Identity
Generality and Existence 2: Modality and Quantifiers
Generality and Existence 1: Quantification and Free Logic
Language, Logic and Existential Commitment
Logic at Melbourne finally has a presence on the web
Three Cultures—or: what place for logic in the humanities?
Cian Dorr on Defining Quantifiers (Verbal Disputes Workshop Report #2)
Fixed Point Models for Theories of Properties and Classes
PHIL20030: Meaning, Possibility and Paradox
PHIL40013: Uncertainty, Vagueness and Disagreement
Merely Verbal Disputes and Coordinating on Logical Constants
Contingent Existence and Modal Definedness
Another Day at the Office
Adventures in Bi-Intuitionistic Logic
Verbal Disputes in Oxford (Workshop Report #1)
Workshop on Verbal Disputes and their Philosophical Significance
One Quick Trip to Oxford
Merely Verbal Disputes and Coordinating on Logical Constants
Assertion, Denial, Accepting, Rejecting, Symmetry and Paradox
Incarnation and Detachment: on surprising connections between logic, semantics, and prayer
Logic: Language and Information 2
Sophistry and Argumentation: The Role of Reason in the Examined Life
Another View of the Old Quad
Incarnation and Detachment: Philosophy, Prayer, and Taking Positions
Advocacy on Sydney Road
Our Thinking Behind Logic Teaching on Coursera
Come and work with me on proof theory and philosophy
PHIL30043: The Power and Limits of Logic
UNIB10002: Logic, Language and Information
Academic Genealogy
Contingent Existence and Modal Definedness
Classes in Semester One
Logic: Language and Information 1
Ash Wednesday
Do LNC and LEM suffice to define negation?
Adding Site Search
Another Blast From the Past
Recovering the Past
Back in the office
Why no comment box?
What’s the point of a personal website these days?
Ternary Relations and Models for Relevant Arithmetics
Normal Proofs, Cut Free Derivations and Structural Rules
Living as a Christian Academic
Towards Fixed Point Models for Theories of Properties and Classes
Ludwig Wittgenstein’s Tractatus Logico-Philosophicus
Pluralism and Proofs
PHIL10003: Philosophy, the Great Thinkers
PHIL30043: The Power and Limits of Logic
From Defining Rules to Cut Elimination (and its consequences)
Proof Theory and Philosophy
Modal Definedness
Ternary Relations and Models for Relevant Arithmetics
Logic: Language and Information 2
PHIL20030: Meaning, Possibility and Paradox
PHIL40007: Philosophy of Language and Mind
UNIB10002: Logic, Language and Information
MULT10016: Reason
Logic: Language and Information 1
Assertion, Denial and Non-Classical Theories
Special Issue of the Logic Journal of the IGPL: Non-Classical Mathematics
New Waves in Philosophical Logic
A Cut-Free Sequent System for Two-Dimensional Modal Logic, and why it matters
Bradwardine Hypersequents
History of Logical Consequence
Interpreting and Applying Proof Theories for Modal Logics
On the ternary relation and conditionality
Molinism and the Thin Red Line
Anti-Realist Classical Logic and Realist Mathematics
Logic in Australasia
On the ternary relation and conditionality
Always More
Testing, testing, 1, 2, 3
Decorated Linear Order Types and the Theory of Concatenation
Proof Theory and Meaning: the context of deducibility
Barriers to Consequence
Relevant Agents
On t and u, and what they can do
What are we to accept, and what are we to reject, when saving truth from paradox?
Models for Substructural Arithmetics
On Permutation in Simplified Semantics
Time Flies
A Priori Truths
Live from Hejnice
Rumfitt on Multiple Conclusions, Part 2
Rumfitt on Multiple Conclusions, Part 1
Problems for Naïve Property Theories
Bob Meyer
Truth Values and Proof Theory
More on Words
Using Peer Instruction to Teach Philosophy, Logic and Critical Thinking
Types, Tokens and Names
Quiz for today
Spandrels of Truth
Back in the saddle
Holiday, in progress
Holiday!
Little Snippets of News
Appendix to 'Yo!' and 'Lo!': the pragmatic topography of the space of reasons
Merry Christmas, all
Always More...
New Paper: Assertion, Denial and Non-Classical Theories
Models for Liars in Bradwardine's Theory of Truth
New Paper: Truth Values and Proof Theory
Back! Then off, then back again!
Off to Guangzhou
Truthmakers, Entailment and Necessity 2008
Modal Models for Bradwardine's Theory of Truth
Tartu Pluralism Days #3 and #4
Tartu Pluralism Day #2
Tartu Pluralism Day #1
Tartu
Amsterdam!
Bag packed, let's go!
Pain, stress, redundancies, another day at the office
Random interesting fact (one in an intermittent series)
Breaking Silence
Logical Pluralism, in Tartu
Informal Logic: now open access
We're in the news...
A Participatory Theory of the Atonement
Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence)
Curry's Revenge: the costs of non-classical solutions to the paradoxes of self-reference
Envelopes and Indifference
Sorry...
Review of Ross Brady, Universal Logic
Invention is the Mother of Necessity: modal logic, modal semantics and modal metaphysics
Melbourne Philosophy Undergraduate Workshop
Talk on the Philosopher's Zone
... and we're back
... arrived!
Heading off...
Not 'gargoyle' but 'finial'
Logic Job at Auckland
Logica 2007 is coming up
Book Launch! Inside Lawyers' Ethics
Proof Theory and Meaning: on second order logic
Proofnets for S5: sequents and circuits for modal logic
Symbolic Logic
In Banff: Monday, Tuesday, Wednesday, Thursday...
My talk in Banff
In Banff: Delia Graff Fara
In Banff: Branden Fitelson on Formal Epistemology
In Banff
Off to India...
Scenes from an afternoon
Horn tooting
A Philosophical Poll: on a priori knowledge of possibilities
Party on Tuesday
Masses of Formal Philosophy: Question 2
An idea...
Visits
Ten Questions about Books
On the Interview
On Politics
Interviewed again
Assorted Observations
Back home
Here in Nancy, Day 2
Here in Nancy, Day 1
Off to France
Teaching in Semester 2, 2006
Key Ideas in the theory of proofs #1: The Duality of Proofs and Counterexamples
This football game is pretty tense...
Interviewed
End of Semester
On Regret and Slingshots
On the Cable Guy Paradox
Masses of Formal Philosophy: Question 1
Happy 5 day!
Well, that was easy...
The Shifty Salesman
Enclosures
2006 redesign in progress
AJL Papers
Spooky coincidence? I think not
Oh, and there's another paper, too
Being a logician means sometimes having to say that you're sorry. Or at least, that you're wrong.
Dame Edna at the Commonwealth Games Closing Ceremony
Last Night at the MCG
Marathon Effort
Greg Hjorth coming back to Melbourne
Logics, Situations and Channels
Questions and Answers on Formal Philosophy
Relevant and Substructural Logics
Relevant Restricted Quantification
Masses of Formal Philosophy
Degrees of Truth, Degrees of Falsity
Fun with Playlists: Squeezing your music library onto a 2GB iPod
Phase Change
Assorted crosscultural observations, upon visiting the supermarket
Teaching in Semester 1, 2006
Happy 2006
Logic
Logical Pluralism
About to leave Oxford
Logical Consequence
Survived so far...
Time flies when...
Week 1
Cut elimination generalised
Reflections on Iona, part 2
Reflections on Iona, part 1
Constant Domain Quantified Modal Logics without Boolean Negation
…Iona, Glasgow, Oxford.
Denmark, Oxford, Edinburgh…
Logic Colloquium 2005 Day 4
Logic Colloquium 2005 Day 3
Logic Colloquium 2005 Day 2
Logic Colloquium 2005 Day 1
Legroom
Off to Athens...
Keep up with our travels: the map
In Århus
Up, up and away
Loud
AJL
On applescript and php, and an archive page
Logic Colloquium 2005 and ESSLLI 2005
Rearranging
The Flight of the Balloon
Teaching in Semester 2
Skype
We're off in almost a month: I've got to get ready!
Searching in Mac OS X Tiger
Seminars at Otago
Logic Books at print.google.com
University Library Proxy Bookmarklet
Please Help Us #1: On Self-Saucing Pudding
Comments on Weblogs
Get your kicks on Route 55
Łukasiewicz, Supervaluations and the Future
Entries "Belnap, Nuel Dinsmore Jr." and "Lambert, J. Karel" from the <em>Dictionary of Modern American Philosophers</em>
Minimalists about Truth can (and should) be Epistemicists, and it helps if they are revision theorists too
Moral Fictionalism versus the rest
Multiple Conclusions
Not Every Truth Can Be Known: at least, not all at once
The Geometry of Non-Distributive Logics
Wikis are fun
I've been writing
Happiness is...
Darren Blogging for Tsunami Relief
Matt and Nick talk Dialetheism
Work, work, work, work...
Back to work tomorrow
Teaching in Semester 1
2005 Redesign
What's going on around here
Take these shoes...
Sheet Music
Travel Plans 2005
Headphones
Well, that didn't go as I'd hoped
One Way to Face Facts
In case you were wondering
October 9 Election
Itchy to redesign (a bit)
What's been happening around here
Parent/Teacher Interview
Laws of Non-Contradiction, Laws of the Excluded Middle and Logics
I'm <em>so</em> not here
Off North
GMail
Organising Academic Papers
Slow Period
Musical Taste
No writing implements?
The Twelve Apostles
Assertion, Denial, Paradox...
The Geometry of Non-Distributive Logics
Ancestors
Tree Totaller
Grading
Who are Boole, Fitch and Tarski?
Inference & Meaning
What He Said
Knowability 4
Haskell and Logic
NAD C521BEE
Knowability 3
Great Moments in Logic
Winter Stylesheet
Max Cresswell at the AJL
Knowability 2
The AJL is on the Register
Help Wanted
Busy/Quiet Period 2, and email
Knowability
Funding Changes at the University of Melbourne
Technical 'Support'
Hedge
Shootings
Research Project
What the universe looks like from the inside
Busy/Quiet Period
Brandom on Philosophy and the University
Research Quantification
Zachary with a chocolate moustache
Monday comments
Kai on Book Publishing
Zachary Scribbling
Publishing a Book
The Wind is Blowing
Revisiting the past
Study Window
Are God's Hands Tied By Logic?
AJL Volume 2
Black Mountain Tower
Teaching, teaching, teaching
Zachary at Hanging Rock
Reboot
Logical Pluralism and the Preservation of Warrant
Routes to Triviality
Great Moments in Logic
Modelling Truthmaking
Happy Birthday #2!
Learning Negation
Clouds of War
“Tantrum”
Just what <em>is</em> Full-Blooded Platonism?
Logic
Nor W arf Numb E
Spots
February Pictures
Thoughts
Zachary and Straw
2003 Brunswick Music Festival
News Feed
2003 Redesign
Meteorologist
Don Burrows and Nina Ferro
A Crackpot Index
Beables and Changeables
Brett Lee in Action
Yellow and Blue
Solaris 2.0
His Dark Materials and Third Way
The High Court of Australia
I hate marking
Richard Jeffrey Dies
Cricket Writing
Grade Inflation?
Apposite Text
No photos for a while
Flower Boy
Monash Shooting
Graph Theory
What colour is that?
Logic Seminars
A Smile
GNU Prolog
The Zoo
Wireless Network
Instant Messaging
Zero to Three
Settling In
<em>Primes</em> is in <em>P</em>
'I Guess I Get A Little Emotional Sometimes'
New Archbishop of Canterbury
Busy, busy, busy
Sanity about the ABC
Email Address
Eat and drink your way down Sydney road
Brunswick
Arrival
Trouble in Lygon Street
Stranger Building
Strange Building
Zachary's Car
Don on God
Househunting Results
Househunting by remote
What does biography (of philosophers) have to do with philosophy
God Music
Ups & downs
Geography
Self-Annihilating Sentences
lowercase audio
Spain in August 2003!
RSPAS International Relations Publications
epitonic.com
Back to the...
boat-people.org
Stephen Jay Gould
Two changes
A preliminary move
Seagull at Manly
Budget
Job at Auckland
Ratbots
About The Internet
How to Mark a Book
'Aussie Chardonnay'?
Peru and Free Software
ASIO Bill
Blue Mountains
Microsoft
Now in three flavours
Firefly Press
Higher Education Rumblings
Sydney Aquarium
Play with combinators
The Politics of Science
Cataclysme politique en France
One more mystery solved
Fisticuffs in real estate
The Golden Grove Ferry
Sic Transit Gloria
Is that God singing?
Down through the ages...
You are here & Brouwer
Go to Australia
Pascal's Wagering
Happy Birthday!
New Design
Object Permanence
Philosophical Reading on Race
No Sugar
SF for social change
The Russian Avant-Garde Book
Bembo's Zoo
Font style and book design
Zack enjoys sitting in my chair
Kind Words
News from March 2002
'Strenge' Arithmetics
Carnap’s Tolerance, Meaning and Logical Pluralism
Paraconsistency Everywhere
Relevance Logic
News from February 2002
News from January 2002
News from December 2001
News from November 2001
News from October 2001
Constructive Logic, Truth and Warranted Assertibility
News from September 2001
News from August 2001
News from July 2001
Defending Logical Pluralism
News from June 2001
News from May 2001
News from April 2001
More News from March 2001
News from March 2001
News from February 2001
News from January 2001
News from December 2000
Logical Pluralism
News from November 2000
News from October 2000
Defining Double Negation Elimination
News from September 2000
News from August 2000
News from July 2000
News from June 2000
News from May 2000
News from April 2000
News from March 2000
An Introduction to Substructural Logics
Negation in Relevant Logics: How I stopped worrying and learned to love the Routley Star
Displaying and Deciding Substructural Logics 1: Logics with Contraposition
Linear Arithmetic Desecsed
Logical Laws
Ways Things Can't Be
Extending Intuitionistic Logic with Subtraction
Combining Possibilities and Negations
Paraconsistent Logics!
Display Logic and Gaggle Theory
Truthmakers, Entailment and Necessity
Realistic Belief Revision
Arithmetic and Truth in Łukasiewicz's Infinitely Valued Logic
Modalities in Substructural Logics
Four-Valued Semantics for Relevant Logics (and some of their rivals)
Information Flow and Relevant Logic
Nietzsche, Insight and Immorality
A Useful Substructural Logic
Subintuitionistic Logics
On Logics without Contraction
Deviant Logic and the Paradoxes of Self-Reference
How to be Really Contraction Free
Simplified Semantics for Relevant Logics (and some of their rivals)
A Note on Naïve Set Theory in LP